Mostrar
1 - 4
resultats de
4
Anar al contingut
UPFind
Bossa de llibres:
0
ítems
(Complet)
Idioma
English
Deutsch
Español
Français
Italiano
日本語
Nederlands
Português
Português (Brasil)
中文(简体)
中文(繁體)
Türkçe
עברית
Gaeilge
Cymraeg
Ελληνικά
Català
Euskara
Русский
Čeština
Suomi
Svenska
polski
Dansk
slovenščina
اللغة العربية
বাংলা
Galego
Tiếng Việt
Hrvatski
हिंदी
Հայերէն
Українська
Sámegiella
Монгол
Māori
Tots els camps
Títol
Autor
Matèria
Signatura
ISBN/ISSN
Trobar
Avançada
Resultats de la cerca - "Symbolic and Algebraic Manipulation."
Resultats de la cerca - "Symbolic and Algebraic Manipulation."
Mostrar
1 - 4
resultats de
4
Refinar resultats
Ordenar
Rellevància
Data Descendent
Newest to Oldest
Oldest to Newest
Autor
Títol
Select Page
Correu electrònic
Exportar
Imprimir
Afegir a la bossa
Selecciona el número de resultat 1
1
Decomposable negation normal form.
per
Darwiche, A.
Publicat a
Journal of the ACM
Signatura:
Carregant…
Localitzat:
Carregant…
Article
Carregant…
Afegir a la bossa
Eliminar de la bossa de llibres
Enllaç a registre independent
Selecciona el número de resultat 2
2
Lower bounds on the bounded coefficient complexity of bilinear maps.
per
Bürgisser, Peter
Publicat a
Journal of the ACM
Signatura:
Carregant…
Localitzat:
Carregant…
Article
Carregant…
Afegir a la bossa
Eliminar de la bossa de llibres
Enllaç a registre independent
Selecciona el número de resultat 3
3
The mathematics of language 12th biennial conference, MOL 12, Nara, Japan, September 6-8, 2011. Proceedings
Publicat 2011
Signatura:
Carregant…
Localitzat:
Carregant…
Available for University of the Philippines Diliman via SpringerLink. Click here to access
Electronic Resource
Afegir a la bossa
Eliminar de la bossa de llibres
Enllaç a registre independent
Selecciona el número de resultat 4
4
Plausibility measures and default reasoning.
per
Friedman, N.
Publicat a
Journal of the ACM
Signatura:
Carregant…
Localitzat:
Carregant…
Article
Carregant…
Afegir a la bossa
Eliminar de la bossa de llibres
Enllaç a registre independent
Select Page
Correu electrònic
Exportar
Imprimir
Afegir a la bossa
Eines de cerca:
Obtenir subscripció RSS
Enviar per correu electrònic aquesta cerca
Back
Refinar resultats
La pàgina es tornarà a carregar quan es seleccioni o exclueixi un filtre.
CAMPUS
Diliman
4 results
4
DATABASE
Union Catalog (Buklod)
4 results
4
UNIT LIBRARY
College of Engineering Library II
3 results
3
Diliman Main Library: Info. Services & Instruction Section
1 results
1
RESOURCE TYPE
Article
3 results
3
Electronic Resource
1 results
1
YEAR OF PUBLICATION
Des de:
A:
SUBJECT
Computer Science
1 results
1
Computer science
1 results
1
Electronic books
1 results
1
Information theory
1 results
1
Logic design
1 results
1
Logic, Symbolic and mathematical
1 results
1
Logics and Meanings of Programs
1 results
1
Mathematical Logic and Formal Languages
1 results
1
Mathematical Logic and Foundations
1 results
1
Mathematics of Computing
1 results
1
Symbolic and Algebraic Manipulation
1 results
1
Theory of Computation
1 results
1
veure tots…
AUTHOR
Bürgisser, Peter
1 results
1
Darwiche, A.
1 results
1
Friedman, N.
1 results
1
Kanazawa, Makoto
1 results
1
SpringerLink (Online service)
1 results
1
LANGUAGE
English
4 results
4
TUKLAS
: UP Libraries' Resource Discovery Tool
Copyright © 2020-. The University Library, University of the Philippines Diliman