Automated Deduction - CADE-21: 21st International Conference on Automated Deduction, Bremen, Germany, July 17-20, 2007, Proceedings (Lecture Notes in Computer Science (4603), Band 4603)
von
Frank Pfenning
Taschenbuch
Details (
Deutschland
)
ISBN-13: 978-3-540-73594-6
ISBN-10: 3-540-73594-1
Springer
· 2007
