Refine your search
- Availability
-
Authors
- Newborn, Monty (1)
- Newborn,Monty (2)
- Holding libraries
- Home libraries
-
Item types
- Books (2)
- USB/CD/DVD (1)
-
Topics
- Automatic Theorem Proving (1)
- Computer -- Chess (1)
- Programs,Computer (1)
- Programs,Software (1)