Dangos
51 - 53
canlyniadau o
53
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
हिंदी
Հայերէն
Українська
Sámegiella
Монгол
Māori
Pob Maes
Teitl
Awdur
Pwnc
Rhif Galw
ISBN/ISSN
Canfod
Uwch
Canlyniadau Chwilio - "Logic programming"
Canlyniadau Chwilio - "Logic programming"
Ewch i'r Dudalen Flaenorol
Dangos
51 - 53
canlyniadau o
53
Mireinio'r Canlyniadau
Sortio
Perthnasedd
Dyddiad Trefn Ddisgynnol
Newest to Oldest
Oldest to Newest
Awdur
Teitl
Select Page
E-bost
Allforio
Argraffu
Ychwanegu at y Bag Llyfrau
Dewiswch ganlyniad rhif 51
51
PYTHIA-II a knowledge
gan
Houstis, Elias N.
Cyhoeddwyd yn
ACM transactions on mathematical software.
Rhif Galw:
Llwytho...
Wedi'i leoli:
Llwytho...
Erthygl
Llwytho...
Ychwanegu at y Bag Llyfrau
Symud o'r Bag Llyfrau
Standalone Record
Dewiswch ganlyniad rhif 52
52
Logic programming, knowledge representation, and nonmonotonic reasoning essays dedicated to Michael Gelfond on the occasion of his 65th Birthday
Cyhoeddwyd 2011
Rhif Galw:
Llwytho...
Wedi'i leoli:
Llwytho...
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
Standalone Record
Dewiswch ganlyniad rhif 53
53
From application descriptions to hardware in seconds a logic-based approach to bridging the gap.
gan
Benkrid, K.
Cyhoeddwyd yn
IEEE Transactions on VLSI systems
Rhif Galw:
Llwytho...
Wedi'i leoli:
Llwytho...
Erthygl
Llwytho...
Ychwanegu at y Bag Llyfrau
Symud o'r Bag Llyfrau
Standalone Record
Select Page
E-bost
Allforio
Argraffu
Ychwanegu at y Bag Llyfrau
[1]
Blaenorol
1
2
3
4
5
6
Offerynnau Chwilio:
Cael Porthiant RSS
E-bostio'r Chwiliad hwn
Yn Ôl
Mireinio'r Canlyniadau
Page will reload when a filter is selected or excluded.
CAMPUS
Diliman
50 canlyniadau
50
Cebu
1 canlyniadau
1
Tacloban
1 canlyniadau
1
Visayas
1 canlyniadau
1
DATABASE
Union Catalog (Buklod)
53 canlyniadau
53
UNIT LIBRARY
College of Engineering Library II
40 canlyniadau
40
Diliman Main Library: Info. Services & Instruction Section
7 canlyniadau
7
College of Science
1 canlyniadau
1
Diliman Main Library: Social Sciences Section
1 canlyniadau
1
Institute of Mathematics
1 canlyniadau
1
Lahug Library
1 canlyniadau
1
UP Tacloban Library
1 canlyniadau
1
UPV Iloilo High School Library - Iloilo City
1 canlyniadau
1
Gweld pob un...
RESOURCE TYPE
Llyfr
23 canlyniadau
23
Electronic Resource
23 canlyniadau
23
Erthygl
6 canlyniadau
6
Continuing Resource
1 canlyniadau
1
YEAR OF PUBLICATION
o:
i:
CLASSIFICATION
Q - Gwyddoniaeth
22 canlyniadau
22
B - Athroniaeth, Seicoleg, Crefydd
1 canlyniadau
1
SUBJECT
Logic programming
44 canlyniadau
44
Electronic books
23 canlyniadau
23
Artificial intelligence
5 canlyniadau
5
Logic design
5 canlyniadau
5
Logic, Symbolic and mathematical
4 canlyniadau
4
Computer science
3 canlyniadau
3
Mathematics
3 canlyniadau
3
Programming languages (Electronic computers)
3 canlyniadau
3
Computable functions
2 canlyniadau
2
Congresses
2 canlyniadau
2
Data structures (Computer science)
2 canlyniadau
2
Nonmonotonic reasoning
2 canlyniadau
2
Computer programming
1 canlyniadau
1
Computer programs
1 canlyniadau
1
Constraint programming (Computer science)
1 canlyniadau
1
Data processing
1 canlyniadau
1
Database management
1 canlyniadau
1
Fuzzy systems
1 canlyniadau
1
Gelfond, Michael
1 canlyniadau
1
Inconsistency (Logic)
1 canlyniadau
1
Induction (Logic)
1 canlyniadau
1
Java (Computer program language)
1 canlyniadau
1
Knowledge representation (Information theory)
1 canlyniadau
1
Logic
1 canlyniadau
1
Logic Design
1 canlyniadau
1
Logic programing
1 canlyniadau
1
Logic programming languages
1 canlyniadau
1
Multiprocessors
1 canlyniadau
1
Neural networks (Computer science)
1 canlyniadau
1
Object-oriented programming (Computer science)
1 canlyniadau
1
Gweld pob un...
AUTHOR
SpringerLink (Online service)
9 canlyniadau
9
Farrell, Joyce
4 canlyniadau
4
Abe, Jair Minoro
2 canlyniadau
2
Hein, James L.
2 canlyniadau
2
Hermenegildo, Manuel
2 canlyniadau
2
Lisi, Francesca A.
2 canlyniadau
2
Akama, Seiki
1 canlyniadau
1
Alpuente, Maria
1 canlyniadau
1
Apt, Krzysztof R. 1949-
1 canlyniadau
1
Association for Logic Programming
1 canlyniadau
1
Bakker, J. W. de (Jacobus Willem) 1939-
1 canlyniadau
1
Balduccini, Marcello
1 canlyniadau
1
Baldwin, J. F. (James Frederick) 1938-
1 canlyniadau
1
Benkrid, K.
1 canlyniadau
1
Bergadano, Francesco 1963-
1 canlyniadau
1
Bittinger, Marvin L.
1 canlyniadau
1
Blockeel, Hendrik
1 canlyniadau
1
Bruynooghe, M. (Maurice)
1 canlyniadau
1
Catlin, Ann C.
1 canlyniadau
1
Dahl, Veronica
1 canlyniadau
1
De La Rosa, Jerald Herrera
1 canlyniadau
1
De La Rosa, Juvy B.
1 canlyniadau
1
De Schreye, Danny
1 canlyniadau
1
Delgrande, James P.
1 canlyniadau
1
Deransart, Pierre
1 canlyniadau
1
Dix, J. 1961- (Jurgen)
1 canlyniadau
1
Doets, Kees
1 canlyniadau
1
Dyckhoff, Roy 1948-
1 canlyniadau
1
ELP '93 University of St. Andrews, Scotland
1 canlyniadau
1
Faber, Wolfgang
1 canlyniadau
1
Gweld pob un...
LANGUAGE
English
52 canlyniadau
52
TUKLAS
: UP Libraries' Resource Discovery Tool
Copyright © 2020-. The University Library, University of the Philippines Diliman