Automated Deduction - Cade-13: 13th International Conference on Automated Deduction, New Brunswick, NJ, USA, July 30 - August 3, 1996. Proceedings (Lecture Notes in Computer Science (1104), Band 1104)

Proceedings

von: Michael A. McRobbie · J. K. Slaney

Taschenbuch

ISBN-13: 978-3-540-61511-8

ISBN-10: 3-540-61511-3

Springer Berlin Heidelberg · 2010
Siehe auch:
2014PaperbackAutomated Deduction - Cade-13: 13th International Conference on Automated Deduction, New Brunswick, NJ, USA, July 30 - August 3, 1996. Proceedings