Delivery included to the United States

6th Conference on Automated Deduction

6th Conference on Automated Deduction New York, USA, June 7-9, 1982 - Lecture Notes in Computer Science

Paperback (01 May 1982) | German

Not available for sale

Out of stock

This service is protected by reCAPTCHA and the Google Privacy Policy and Terms of Service apply.

Book information

ISBN: 9783540115588
Publisher: Springer Berlin Heidelberg
Imprint: Springer
Pub date:
DEWEY: 005.131
Language: German
Number of pages: 389 .
Weight: 675g