Refine your search
Availability
-
Authors
- Chaudhri, Vinay K. (1)
- Genesereth, Michael (7)
- Kao, Eric (2)
- Kao, Eric J. (1)
- Thielscher, Michael (1)
-
Item types
- E-Books (7)
-
Locations
- Online (7)
-
Series
-
Topics
- Artificial Intellige... (4)
- Computer programming (1)
- Database management (1)
- Database searching (1)
- Game theory (1)
- Games (1)
- Herbrand's theorem (... (2)
- Knowledge representa... (1)
- Logic (3)
- Logic programming (2)
- Logic, Symbolic and ... (2)
- Number Theory (2)
- Ontologies (Informat... (1)
- Querying (Computer s... (1)
- Reasoning (2)
- Statistical matching (1)
- Symbolic ogic (1)
- Show more
- Show less