9th International Conference on Automated Deduction Argonne, Illinois, USA, May 23-26, 1988. Proceedings
by Ewing Lusk, Ross Overbeek
Available
Ships From New York
Free Shipping within U.S.A
International Shipping?
Check Delivery Estimate and
Shipping Cost
for your country
| Publisher: | Springer |
| Published In: | 04-May-1988 |
| ISBN-10: | 354019343X |
| ISBN-13: | 9783540193432 |
| Binding Type: | Paperback |
| Weight: | 2.68 lbs |
| Pages: | pp. 792, 49:B&W 6.14 x 9.21 in or 234 x 156 mm (Royal 8vo) Perfect Bound on White w/Gloss |
The Title "9th International Conference on Automated Deduction Argonne, Illinois, USA, May 23-26, 1988, Proceedings" was published in the year 1988. The ISBN number 354019343X|9783540193432 is assigned to the Paperback version of this title. This book has total of pp. x + 775 (Pages). The publisher of this title is Springer. We have about 138114 other great books from this publisher. 9th International Conference on Automated Deduction Argonne, Illinois, USA, May 23-26, 1988, Proceedings is currently Available with us.