Handbook of Automated Reasoning (Volume 1)
Full Title: | Handbook of Automated Reasoning (Volume 1) |
---|---|
ISBN: | 0444508139 |
ISBN13: | 9780444508133 |
List Price: | USD $549.99 |
Authors: |
Robinson, Alan J.A. Voronkov, Andrei |
Related ISBNs