8th International Conference on Automated Deduction: Oxford, England, July 27- August 1, 1986. Proceedings

by Jörg H. Siekmann

No Synopsis Available.

• Format: Paperback
• Language: English
• ISBN: 3540167803
• ISBN13: 9783540167808
• Release Date: July 1986
• Publisher: Springer
• Length: 716 Pages
• Weight: 2.20 lbs.
• Dimensions: 1.4" x 6.1" x 9.2"