Automated Deduction - CADE-15: 15th International Conference on Automated Deduct
68,63 €
This book constitutes the refereed proceedings of the 15th International Conference on Automated Deduction, CADE-15, held in Lindau, Germany, in July 1998. Reasoning about deductions in linear logic.
Jetzt bei Ebay:
