Skip navigation
Hardcover | $55.75 Short | £46.95 | 2150 pp. | 6.5 x 9.5 in | July 2001 | ISBN: 9780262182232
For sale only in the US and Canada.
Mouseover for Online Attention Data

Handbook of Automated Reasoning, 2-vol. Set

About the Editors

J. Alan Robinson is University Professor Emeritus at Syracuse University.

Andrei Voronkov is Professor of Computer Science at the University of Manchester, UK.