Skip to content
Home/ 10th International Conference on Automated Deduction: Kaiserslautern, Frg, July 24-27, 1990. Proceed
10th International Conference on Automated Deduction: Kaiserslautern, Frg, July 24-27, 1990. Proceed

10th International Conference on Automated Deduction: Kaiserslautern, Frg, July 24-27, 1990. Proceed

No customer reviews yet ISBN 9783540528852

Proceedings of CADE-10. CADE is the major forum for research on all aspects of automated deduction. The CADE conferences have no peer in the concentration and quality of their automated deduction research contributions.

About the author

Product details

Pub dateJul 17, 1990
ISBN-103540528857
ISBN-139783540528852
LanguageEnglish
Last updated 2026-09-08 09:29
$166.61
In stock — ships in 24 hours with free tracking
Delivery by Monday, September 14, 2026
Qty
Sign in to Add to Saved list
Free delivery on orders over $35.
15-day returns. Any reason.
Secure checkout. We never store card details.

Readers who bought this also bought

More from Artificial Intelligence - General
See all