Automated Deduction – CADE-17: 17th International Conference on Automated Deduction Pittsburgh, PA, USA, June 17-20, 2000 Proceedings eBook

$129.00 $30.00

By: David McAllester
Publisher: Springer
Print ISBN: 9783540676645, 3540676643
eText ISBN: 9783540451013, 3540451013
Edition: 1st
Copyright year: 2000

Automated Deduction – CADE-17: 17th International Conference on Automated Deduction Pittsburgh, PA, USA, June 17-20, 2000 Proceedings eBook

$129.00 $30.00

eText ISBN: 9783540451013 SKU: 9783540451013 Category: Tags: , Print ISBN: 9783540676645