Name: Automated Deduction CADE-18: 18th International Conference on Automated Deduction, Copenhagen, Denmark, July 27-30, 2002 Proceedings Ebook
SKU: 57e94ab9e311
Price: 25.00 USD
Availability: InStock

Automated Deduction CADE-18: 18th International Conference on Automated Deduction, Copenhagen, Denmark, July 27-30, 2002 Proceedings Ebook

$25.00

eText ISBN: 9783540456209

SKU: 57e94ab9e311 Category: Ebook Tag: studoc.shop

.eText ISBN: 9783540456209

Automated Deduction  CADE-18: 18th International Conference on Automated Deduction, Copenhagen, Denmark, July 27-30, 2002 Proceedings Ebook

Related products

Login

Automated Deduction CADE-18: 18th International Conference on Automated Deduction, Copenhagen, Denmark, July 27-30, 2002 Proceedings Ebook