Skip navigation
Hardcover | $34.75 Short | £24.95 | ISBN: 9780262182225 | 1185 pp. | 7 x 9.75 in | July 2001
For sale only in the US and Canada.

Handbook of Automated Reasoning, Volume 2

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.