Robinson Alan Ed. <br/><br/>
Handbook of automated reasoning 
Robinson Alan Ed.; Voronkov Andrei Ed. 
 - Netherlands  Elsevier Science          2001 
 - p.  cm. 
 - Handbook of automated reasoning .
<br/><br/> CONTENTS:V 2(xxv, 963-2122p); Index 2113-2122p; Includes bibliographical references 
<br/><br/><label>ISBN: </label>0444508120(V2) (hbd) 
<br/><br/><label>Standard No.: </label>9352 
<br/><br/><label>Source: </label> Overseas,  Reference Collections 
<br/><br/><label>Subjects--Topical Terms: </label><br/> Handbook<br/> Logic<br/>Computer
<br/><br/><label>Dewey Class. No.: </label>D65,8(B):(R1)g, P1.2   RR