1. Handbook of automated reasoning. Volume I (©2001) Other Names: Robinson, J. A (John Alan); Voronkov, Andrei, 1959- Record Type: Book Extent: 1 online resource (xxv, 2122 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗