Refine your search
Availability
-
Authors
- Genesereth, Michael (2)
- Kao, Eric (2)
-
Item types
- E-Books (2)
-
Locations
- Online (2)
-
Series
-
Topics
- Artificial Intellige... (1)
- Herbrand's theorem (... (1)
- Logic (2)
- Logic, Symbolic and ... (1)
- Number Theory (1)
- Reasoning (1)
- Symbolic ogic (1)
- Show more
- Show less