Automated Deduction - CADE-16: 16th International Conference on Automated Deduction, Trento, Italy, July 7-10, 1999, Proceedings (Lecture Notes in Computer Science (1632), Band 1632)
von
Harald Ganzinger
Taschenbuch
Details (
Deutschland
)
ISBN-13: 978-3-540-66222-8
ISBN-10: 3-540-66222-7
Springer
· 2008