Handbook of automated reasoning
Robinson Alan Ed.
Handbook of automated reasoning Robinson Alan Ed.; Voronkov Andrei Ed. - Netherlands Elsevier Science 2001 - p. cm. - Handbook of automated reasoning .
CONTENTS:V 2(xxv, 963-2122p); Index 2113-2122p; Includes bibliographical references
0444508120(V2) (hbd)
9352
Overseas, Reference Collections
Handbook
Logic
Computer
D65,8(B):(R1)g, P1.2 RR
Handbook of automated reasoning Robinson Alan Ed.; Voronkov Andrei Ed. - Netherlands Elsevier Science 2001 - p. cm. - Handbook of automated reasoning .
CONTENTS:V 2(xxv, 963-2122p); Index 2113-2122p; Includes bibliographical references
0444508120(V2) (hbd)
9352
Overseas, Reference Collections
Handbook
Logic
Computer
D65,8(B):(R1)g, P1.2 RR