01081cam a2200253 a 4500 1/40086 100618s2001 ne 001 0 eng 9780444508133 0444508139 42828 OPELS eng OPELS OCLCG OCLCQ OCLCA AU@ OCLCO OCLCF GR-PeUP Handbook of automated reasoning [electronic resource] / editors, Alan Robinson and Andrei Voronkov. Amsterdam ; New York : Elsevier ; Cambridge, Mass. : MIT Press, c2001. 1 online resource (2 v. (xxv, 2122 p.)) : ill. Includes bibliographical references and index. Automatic theorem proving. Qualitative reasoning. Electronic books. Robinson, J. A. (John Alan) Voronkov, Andrei, 1959- INST UNIPILB EBOOKS 20100618 00b42828 00b42828 ONLINE 0 ScienceDirect http://www.sciencedirect.com/science/book/9780444508133 /webopac/covers/02/42828_9780444508133.jpg /webopac/covers/02/42828_0444508139.jpg