TY  - BOOK
AU  - Robinson Alan Ed.
AU  -  Voronkov Andrei Ed.
TI  - Handbook of automated reasoning
SN  -  0444508120(V2) (hbd)
U1  - D65,8(B):(R1)g, P1.1-.2   RR 
PY  - 2001///
CY  - Amsterdam
PB  - Elsevier Science        
KW  -  Handbook
KW  - Computer
N1  - CONTENTS:V 1(xxv, 970p),Index (961-970p); V 2(xxv, 963-2122p),Index (2113-2122p); Includes bibliographical references
ER  -