Automated Deduction - CADE-14
14th International Conference on Automated Deduction, Townsville, North Queensland, Australia, July 13 - 17, 1997, Proceedings
eBook
€53.49 EUR
-
Studienhilfen
Integrierte Lernwerkzeuge wie Hervorhebungen und vieles mehr
-
Vorlesen
Hören Sie zu und lesen Sie mit, während Bookshelf Ihnen vorliest
-
Offline-Zugriff
Greifen Sie jederzeit und überall auf Ihr eTextbook zu
-
Globale Suche
Durchsuche Buchinhalte, Abbildungen und dein Arbeitsbuch.