Showing 51 - 52 results of 52 for search '"Logic programming"', query time: 0.02s
Refine Results
-
51
PYTHIA-II a knowledge by Houstis, Elias N.
Published in ACM transactions on mathematical software.Call Number: loading...
Located: loading...Article loading... -
52
From application descriptions to hardware in seconds a logic-based approach to bridging the gap. by Benkrid, K.
Published in IEEE Transactions on VLSI systemsCall Number: loading...
Located: loading...Article loading...
Search Tools:
Refine Results
Page will reload when a filter is selected or excluded.- College of Engineering Library II 33 results 33
- Diliman Main Library: Info. Services & Instruction Section 7 results 7
- College of Science 1 results 1
- Diliman Main Library: Social Sciences Section 1 results 1
- Institute of Mathematics 1 results 1
- Lahug Library 1 results 1
- UP Tacloban Library 1 results 1
- UPV Iloilo High School Library - Iloilo City 1 results 1
- see all…
- Logic programming 43 results 43
- Electronic books 23 results 23
- Artificial intelligence 5 results 5
- Logic design 5 results 5
- Logic, Symbolic and mathematical 4 results 4
- Computer science 3 results 3
- Mathematics 3 results 3
- Programming languages (Electronic computers) 3 results 3
- Computable functions 2 results 2
- Congresses 2 results 2
- Data structures (Computer science) 2 results 2
- Nonmonotonic reasoning 2 results 2
- Computer programming 1 results 1
- Computer programs 1 results 1
- Constraint programming (Computer science) 1 results 1
- Database management 1 results 1
- Fuzzy systems 1 results 1
- Gelfond, Michael 1 results 1
- Inconsistency (Logic) 1 results 1
- Induction (Logic) 1 results 1
- Java (Computer program language) 1 results 1
- Knowledge representation (Information theory) 1 results 1
- Logic 1 results 1
- Logic Design 1 results 1
- Logic programing 1 results 1
- Logic programming languages 1 results 1
- Multiprocessors 1 results 1
- Neural networks (Computer science) 1 results 1
- Object-oriented programming (Computer science) 1 results 1
- Programming (electronic computers) 1 results 1
- see all…
- SpringerLink (Online service) 9 results 9
- Farrell, Joyce 4 results 4
- Abe, Jair Minoro 2 results 2
- Hein, James L. 2 results 2
- Hermenegildo, Manuel 2 results 2
- Lisi, Francesca A. 2 results 2
- Akama, Seiki 1 results 1
- Alpuente, Maria 1 results 1
- Apt, Krzysztof R. 1949- 1 results 1
- Association for Logic Programming 1 results 1
- Bakker, J. W. de (Jacobus Willem) 1939- 1 results 1
- Balduccini, Marcello 1 results 1
- Baldwin, J. F. (James Frederick) 1938- 1 results 1
- Benkrid, K. 1 results 1
- Bergadano, Francesco 1963- 1 results 1
- Bittinger, Marvin L. 1 results 1
- Blockeel, Hendrik 1 results 1
- Bruynooghe, M. (Maurice) 1 results 1
- Catlin, Ann C. 1 results 1
- Dahl, Veronica 1 results 1
- De La Rosa, Jerald Herrera 1 results 1
- De La Rosa, Juvy B. 1 results 1
- De Schreye, Danny 1 results 1
- Delgrande, James P. 1 results 1
- Deransart, Pierre 1 results 1
- Dix, J. 1961- (Jurgen) 1 results 1
- Doets, Kees 1 results 1
- Dyckhoff, Roy 1948- 1 results 1
- ELP '93 University of St. Andrews, Scotland 1 results 1
- Faber, Wolfgang 1 results 1
- see all…