.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
Related products
$25.00
$25.00
$25.00