Automated Deduction - Cade-12
12th International Conference on Automated Deduction, Nancy, France, June 26 - July 1, 1994. Proceedings
Springer (Publisher)
Published on 1. July 1994
Book
Paperback/Softback
848 pages
978-0-387-58156-9 (ISBN)
More details
Series
Language
English
Place of publication
Germany
Product notice
Paperback (trade)
Unsewn / adhesive bound
ISBN-13
978-0-387-58156-9 (9780387581569)
Copyright in bibliographic data is held by Nielsen Book Services Limited or its licensors: all rights reserved.
Schweitzer Classification