This image is currently not available.

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)
€118.67incl. 7% vat
Article not available

More details

Person