Automated Deduction - Cade-17: 17th International Conference on Automated Deduction, Pittsburgh, PA, USA, June 17-20, 2000 Proceedings by Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (Paperback, 2000)

All listings for this product