Handbook of Automated Reasoning
Handbook of Automated Reasoning
editors Alan Robinson and Andrei Voronkov
- Amsterdam; Cambridge [Massachusetts] Elsevier; \The \\Mit Press 2001
- 2 vol. ; 25 cm
\\Handbook of Automated Reasoning\ vol. 1; \\Handbook of Automated Reasoning\ vol. 2
0-262-18223-8; 0-444-50813-9
C-242463; C-242464
tratat
519.7/.8; 681.5
\\Handbook of Automated Reasoning\ vol. 1; \\Handbook of Automated Reasoning\ vol. 2
0-262-18223-8; 0-444-50813-9
C-242463; C-242464
tratat
519.7/.8; 681.5