Handbook of automated reasoning.  Volume II  [electronic resource] / 
editors, Alan Robinson and Andrei Voronkov. 
 - Amsterdam ;  New York :  Cambridge, Mass. :  Elsevier ;  MIT Press,  c2001. 
 - 1 online resource (xxv, 963-2122 p.) :  ill. 
<br/><br/>Includes bibliographical references and index. 
<br/><br/><label>ISBN: </label>9780080532790 0080532799 
<br/><br/><label>Source: </label>CL0500000190  Safari Books Online 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Automatic theorem proving--Handbooks, manuals, etc.<br/>Qualitative reasoning--Handbooks, manuals, etc.
<br/><br/><label>Index Terms--Genre/Form: </label><br/>Electronic books.