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

by France) International Conference on Automated Deduction 1994 (Nancy

Paperback

ISBN: 978-0-387-58156-9

ISBN-10: 0-387-58156-1

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