Skip navigation
Hardcover | $34.75 Short | £27.95 | 981 pp. | 6.5 x 9.5 in | July 2001 | ISBN: 9780262182218
For sale only in the US and Canada.
Mouseover for Online Attention Data

Handbook of Automated Reasoning, Volume 1

About the Editor

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