.eText ISBN: 9783540451013
Automated Deduction – CADE-17: 17th International Conference on Automated Deduction Pittsburgh, PA, USA, June 17-20, 2000 Proceedings Ebook
$25.00
eText ISBN: 9783540451013
SKU: a37a59ee8982
Category: Ebook
Related products
$25.00
$25.00