Automated Deduction - CADE-15: 15th International Conference on Automated Deduction, Lindau, Germany, July 5-10, 1998, Proceedings (Lecture Notes in Computer Science (1421), Band 1421)
von:
Helene Kirchner
·
Claude Kirchner
Taschenbuch
Details (
Deutschland
)
ISBN-13: 978-3-540-64675-4
ISBN-10: 3-540-64675-2
Springer
· 2008
