Refine your search
Availability
-
Authors
- Adsul, Bharat (1)
- Ahmed, Mohsin (1)
- Balduccini, Marcello (1)
- Chakraborty, Suprati... (1)
- Chaudhri, Vinay K. (1)
- Dovier, Agostino (1)
- Gebser, Martin... [e... (1)
- Genesereth, Michael (2)
- Greco, Sergio (1)
- Mehndiratta, S.L. (1)
- Molinaro, Cristian (1)
- Nagaraja, G. (1)
- O'Keefe, Richard A. (1)
- Oberoi, Sundeep (1)
- Pontelli, Enrico (1)
- Ravindran, E. (1)
- Sankaran, Abhisekh (1)
- Son, Tran Cao (1)
- Thielscher, Michael (1)
- Venkatesh, G. (1)
- Show more
- Show less
-
Item types
- Books (1)
- E-Books (6)
- Theses and Dissertations (4)
-
Locations
-
Series
-
Topics
- Logic (1)
- Artificial Intellige... (3)
- Chakraborty, Suprati... (1)
- Computer algorithms (1)
- Computer logic (1)
- Computer programming (1)
- Computer science (1)
- Computer Science and... (2)
- Finite model theory (1)
- Function symbols (1)
- Functional programmi... (1)
- Game theory (1)
- Games (1)
- Logic design (1)
- Logic programming (11)
- Logic, Symbolic and ... (1)
- Query optimization (1)
- Relational databases (1)
- Symbolic and mathema... (1)
- Theses and Dissertat... (4)
- Show more
- Show less