Refine Your Search
Book List
1
-
Handbook of automated reasoning [electronic resource] / editors, Alan Robinson and Andrei Voronkov.
- 511.3
- Elsevier ; MIT Press,
- c2001.
- Amsterdam ; New York : Cambridge, Mass. :