Springer
8th International Conference on Automated Deduction: Oxford, England, July 27- August 1, 1986. Proceedings
Product Code:
9783540167808
ISBN13:
9783540167808
Condition:
New
$61.47
8th International Conference on Automated Deduction: Oxford, England, July 27- August 1, 1986. Proceedings
$61.47
8th International Conference on Automated Deduction: Oxford, England, July 27- August 1, 1986. Proceedings
| Author: J?rg H. Siekmann |
| Publisher: Springer |
| Publication Date: Jul 01, 1986 |
| Number of Pages: 716 pages |
| Binding: Paperback or Softback |
| ISBN-10: 3540167803 |
| ISBN-13: 9783540167808 |
Related Products
