.eText ISBN: 9783540451013
Automated Deduction – CADE-17: 17th International Conference on Automated Deduction Pittsburgh, PA, USA, June 17-20, 2000 Proceedings Ebook (okabook.shop)
$25.00
eText ISBN: 9783540451013
Category: Ebook
Tag: okabook.shop