Automatisierte Deduktion-Cade-18: 18. Internationale Konferenz über automatisierte Dedu...
74,60 €
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:
