Delivery included to the United States

8th International Conference on Automated Deduction

8th International Conference on Automated Deduction Oxford, England, July 27- August 1, 1986. Proceedings - Lecture Notes in Computer Science

1986

Paperback (01 Jul 1986)

Save $3.31

  • RRP $61.51
  • $58.20
Add to basket

Includes delivery to the United States

10+ copies available online - Usually dispatched within 7 days

Book information

ISBN: 9783540167808
Publisher: Springer Berlin Heidelberg
Imprint: Springer
Pub date:
Edition: 1986
Language: English
Number of pages: 716
Weight: 998g
Height: 234mm
Width: 156mm
Spine width: 36mm