Herausgegeben von: Revantha Ramanayake
Hier finden Sie zu den besten Preisen alle Bücher, eBooks und Hörbücher von Revantha Ramanayake.
Bestellungen bis 15:00 Uhr für Produkte auf Lager erhalten Sie - ohne Versandgebühr - am nächsten Werktag.
1
Meistgekauft
Buch (Softcover): Fachbuch
Erhältlich:
Nicht auf Lager
Automated Reasoning with Analytic Tableaux and Related Methods
32nd International Conference, TABLEAUX 2023, Prague, Czech Republic, September 18-21, 2023, Proceedings
CHF 57.50