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