Automated Deduction, Cade-15 : 15th International Conference on Automated Ded...
74,58 €
This book constitutes the refereed proceedings of the 15th International Conference on Automated Deduction, CADE-15, held in Lindau, Germany, in July 1998.
Jetzt bei Ebay: