Automated Deduction - Cade-13: 13th International Conference on Automated Deduction, New Brunswick, NJ, USA, July 30 - August 3, 1996. Proceedings

Proceedings

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

Taschenbuch

ISBN-13: 978-3-662-17672-6

ISBN-10: 3-662-17672-6

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