8th International Conference on Automated Deduction: Oxford, England, July 27- August 1, 1986. Proceedings (Lecture Notes in Computer Science (230), Band 230)
von
J??rg H. Siekmann
Taschenbuch
Details (
Deutschland
)
ISBN-13: 978-3-540-16780-8
ISBN-10: 3-540-16780-3
Springer
· 2008
