Automated Deduction - CADE-18: 18th International Conference on Automated Deduct
68,41 €
Despite a large number of deduction-related conferences springing into existence at the end of the last millennium, the CADE conferences continue to be the major forum for the presentation of new research in all aspects of automated deduction.
Jetzt bei Ebay:
