Delivery included to the United States

Automated Deduction, CADE-12

Automated Deduction, CADE-12 12th International Conference on Automated Deduction, Nancy, France, June 26-July 1, 1994 : Proceedings

Paperback (15 Oct 1994)

Not available for sale

Out of stock

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

Other formats & editions

New
Paperback (08 Jun 1994) RRP $61.06 $58.33

Book information

ISBN: 9780387581569
Publisher: Springer Verlag
Imprint: Springer Verlag
Pub date:
Language: English
Number of pages: 848
Weight: 1065g
Height: 241mm
Width: 152mm
Spine width: 38mm