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

Ask AI a Question

ASIN: 0387528857 (CA)

110.57 CAD In Stock

Category: N/A (Slug: professional-technical/professional-science/mathematics)

Ask a Question about "10th International Conference on Automated Deduction: Kaiserslautern, Frg, July 24-27, 1990 Proceedings"

0 / 300