Automated Deduction - CADE-17: 17th International Conference on Automated Deduction Pittsburgh, PA, USA, June 17-20, 2000 Proceedings (Lecture Notes in Computer Science (1831), Band 1831)
von
David McAllester
Taschenbuch
Details (
Deutschland
)
ISBN: 978-3-540-67664-5
ISBN-10: 3-540-67664-3
Springer
· 2000
