Erhältlich:
Nicht auf Lager
Buch (Softcover): Fachbuch
Automated Reasoning with Analytic Tableaux and Related Methods
32nd International Conference, TABLEAUX 2023, Prague, Czech Republic, September 18-21, 2023, Proceedings
Verlag:
Springer Unsere-Artikel-Nr.: P37115028
EAN: 9783031435126
Erhältlich:
Nicht auf Lager
Zustellung: Mo, 14.09.2026
Versand: Kostenlos
CHF 57.50