This image is currently not available.

9th International Conference on Automated Deduction

Springer (Publisher)
Published on 1. May 1988
Book
Paperback/Softback
775 pages
978-0-387-19343-4 (ISBN)
€58.51incl. 7% vat
Article not available

More details

Person