Automated Deduction CADE-20: 20th International Conference on Automated Deductio
68,30 €
CADE is the major forum for the presentation of research in all aspects of automated deduction. rst CADE conference was held in 1974. Early CADEs were mostly biennial, and annual conferences started in 1996.
Jetzt bei Ebay:
