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