Erhältlich:
Nicht auf Lager
Buch (Softcover): Fachbuch
Automated Reasoning with Analytic Tableaux and Related Methods
30th International Conference, TABLEAUX 2021, Birmingham, UK, September 6-9, 2021, Proceedings
Produkt bewerten
Verlag:
Springer Unsere-Artikel-Nr.: P37098573
EAN: 9783030860585
Erhältlich:
Nicht auf Lager
Zustellung: Mi, 26.08.2026
Versand: Kostenlos
CHF 68.50