Dangos
1 - 4
canlyniadau o
4
ar gyfer chwilio '
"Symbolic and Algebraic Manipulation."
'
Neidio i'r cynnwys
UPFind
Bag Llyfrau:
0
eitemau
(Llawn)
Iaith
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
हिंदी
Pob Maes
Teitl
Awdur
Pwnc
Rhif Galw
ISBN/ISSN
Canfod
Uwch
Canlyniadau Chwilio - "Symbolic and Algebraic Manipulation."
Dangos
1 - 4
canlyniadau o
4
ar gyfer chwilio '
"Symbolic and Algebraic Manipulation."
'
, amser ymholiad: 0.02e
Mireinio'r Canlyniadau
Sortio
Perthnasedd
Newest to Oldest
Oldest to Newest
Awdur
Teitl
Select Page
E-bost
Allforio
Argraffu
Ychwanegu at y Bag Llyfrau
Dewiswch ganlyniad rhif 1
1
The mathematics of language 12th biennial conference, MOL 12, Nara, Japan, September 6-8, 2011. Proceedings
Cyhoeddwyd 2011
Rhif Galw:
loading...
Wedi'i leoli:
loading...
Available for University of the Philippines Diliman via SpringerLink. Click here to access
Electronic Resource
Ychwanegu at y Bag Llyfrau
Symud o'r Bag Llyfrau
Dewiswch ganlyniad rhif 2
2
Lower bounds on the bounded coefficient complexity of bilinear maps.
gan
Bürgisser, Peter
Cyhoeddwyd yn
Journal of the ACM
Rhif Galw:
loading...
Wedi'i leoli:
loading...
Erthygl
loading...
Ychwanegu at y Bag Llyfrau
Symud o'r Bag Llyfrau
Dewiswch ganlyniad rhif 3
3
Decomposable negation normal form.
gan
Darwiche, A.
Cyhoeddwyd yn
Journal of the ACM
Rhif Galw:
loading...
Wedi'i leoli:
loading...
Erthygl
loading...
Ychwanegu at y Bag Llyfrau
Symud o'r Bag Llyfrau
Dewiswch ganlyniad rhif 4
4
Plausibility measures and default reasoning.
gan
Friedman, N.
Cyhoeddwyd yn
Journal of the ACM
Rhif Galw:
loading...
Wedi'i leoli:
loading...
Erthygl
loading...
Ychwanegu at y Bag Llyfrau
Symud o'r Bag Llyfrau
Select Page
E-bost
Allforio
Argraffu
Ychwanegu at y Bag Llyfrau
Offerynnau Chwilio:
E-bostio'r Chwiliad hwn
Yn Ôl
Mireinio'r Canlyniadau
Page will reload when a filter is selected or excluded.
CAMPUS
Diliman
1 canlyniadau
1
DATABASE
Union Catalog (Buklod)
4 canlyniadau
4
UNIT LIBRARY
Diliman Main Library: Info. Services & Instruction Section
1 canlyniadau
1
YEAR OF PUBLICATION
o:
i:
SUBJECT
Computer Science
1 canlyniadau
1
Computer science
1 canlyniadau
1
Electronic books
1 canlyniadau
1
Information theory
1 canlyniadau
1
Logic design
1 canlyniadau
1
Logic, Symbolic and mathematical
1 canlyniadau
1
Logics and Meanings of Programs
1 canlyniadau
1
Mathematical Logic and Formal Languages
1 canlyniadau
1
Mathematical Logic and Foundations
1 canlyniadau
1
Mathematics of Computing
1 canlyniadau
1
Symbolic and Algebraic Manipulation
1 canlyniadau
1
Theory of Computation
1 canlyniadau
1
Gweld pob un...
AUTHOR
Bürgisser, Peter
1 canlyniadau
1
Darwiche, A.
1 canlyniadau
1
Friedman, N.
1 canlyniadau
1
Kanazawa, Makoto
1 canlyniadau
1
SpringerLink (Online service)
1 canlyniadau
1
RESOURCE TYPE
Erthygl
3 canlyniadau
3
Electronic Resource
1 canlyniadau
1
LANGUAGE
English
4 canlyniadau
4
TUKLAS
: UP Libraries' Resource Discovery Tool
Copyright © 2020-2021. The University Library, University of the Philippines Diliman