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: Tag: