TY  - BOOK
AU  -  ROBINSON, Alan;  VORONKOV, Andrei
AU  - 
TI  -  Handbook of Automated Reasoning
SN  -  0-262-18223-8;  0-444-50813-9
CY  -  Amsterdam;  Cambridge [Massachusetts]
KW  -  tratat
N1  -  \\Handbook of Automated Reasoning\ vol. 1;  \\Handbook of Automated Reasoning\ vol. 2
AV  -  III 19230
ER  -