Automated Deduction - CADE-11: 11th Internationat Conference on Automated Deduction Saratoga Springs, NY, USA, June 15-18, 1992 Proceedings: 11th ... Notes in Computer Science (607), Band 607)
von
D. Kapur
Taschenbuch
Details (
Deutschland
)
ISBN-13: 978-3-540-55602-2
ISBN-10: 3-540-55602-8
Springer
· 2009
