Automated Deduction - Cade-11
11th International Conference on Automated Deduction, Saratoga Springs, NY, USA, June 15-18, 1992. Proceedings
Springer (Publisher)
Published on 1. June 1992
Book
Paperback/Softback
793 pages
978-0-387-55602-4 (ISBN)
More details
Series
Language
English
Place of publication
Germany
Product notice
Paperback (trade)
Unsewn / adhesive bound
Illustrations
Illustrations
ISBN-13
978-0-387-55602-4 (9780387556024)
Copyright in bibliographic data is held by Nielsen Book Services Limited or its licensors: all rights reserved.
Schweitzer Classification