Automated Deduction _ CADE-12: 12th International Conference on Automated Deduction Nancy, France, June 26-July 1, 1994 Proceedings (Lecture Notes in Computer Science (814), Band 814)

Proceedings

von Alan Bundy

Taschenbuch

ISBN: 978-3-540-58156-7

ISBN-10: 3-540-58156-1

Springer · 1994
Siehe auch (möglicherweise von anderen Autoren):
1994PaperbackAutomated Deduction- Cade-12: 12th International Conference on Automated Deduction Nancy, France, June 26-July 1, 1994: Proceedings (Lecture Notes in Computer Science)