 |
 |
 | HANDBOOK OF AUTOMATED REASONING, SET
|  |
 |  |  |
 |
 |
To order this title, and for more information, click here
Edited By
Alan Robinson, 96 Highland Avenue, Greenfield, Massachusetts, USA
Andrei Voronkov, University of Manchester, Computer Science Department, Oxford Road, Manchester, M13 9LP, UK.
| Bibliographic details |
Hardbound, 2128 pages, publication date: JUN-2001
ISBN-13: 978-0-444-50813-3
ISBN-10: 0-444-50813-9
Imprint: NORTH-HOLLAND
|
| Price and Ordering |
Price:
USD 470 GBP 288 EUR 339.95
|  |
Books and book related electronic products are priced in US dollars (USD), euro (EUR), and Great Britain Pounds (GBP). USD prices apply to the Americas and Asia Pacific. EUR prices apply in Europe and the Middle East. GBP prices apply to the UK and all other countries.
|
See also information about conditions of sale & ordering procedures, and links to our regional sales offices.
|
077/743
Last update: 3 Oct 2009
|
 |
|  |
 |  |  |
 |
|
|  |