Titelbild: Automated Reasoning with Analytic Tableaux and Related Methods 9783030860585

Automated Reasoning with Analytic Tableaux and Related Methods

30th International Conference, TABLEAUX 2021, Birmingham, UK, September 6–9, 2021, Proceedings

Autor(en) Author

Verleger Veröffentlicht von Springer Copyright © 2021
"ISBN-13 9783030860585"
Format reflowable eBook
Verfügbar ab € 53.49 EUR
SKU: 9783030860592

eBook

Lebenszeit

€53.49

eTextbook-Lizenz

‌

€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.

Erfahren Sie mehr

Automated Reasoning with Analytic Tableaux and Related Methods: 30th International Conference, TABLEAUX 2021, Birmingham, UK, September 6–9, 2021, Proceedings verfasst von Author und veröffentlicht von Springer. Die Digital- und eTextbook-ISBNs für Automated Reasoning with Analytic Tableaux and Related Methods lauten 9783030860592, 3030860590 und die Druck-ISBNs lauten 9783030860585, 3030860582. Spare durch digitales Arbeiten mit VitalSource bis zu 80% gegenüber Druck.

Zurück nach oben