Trefferliste "Tarmo Uustalu" - alle Bücher

Ihre Suche nach "Tarmo Uustalu" (Bücher) ergab 1 Treffer.

Automated Reasoning with Analytic Tableaux and Related Methods

Lecture Notes in Artificial Intelligence, Lecture Notes in Computer Science - Band 15980

This open access book constitutes the proceedings of the 33rd International Conference on Automated Reasoning with AnalyticTableaux and Related Methods, TABLEAUX 2025, held in Reykjavik, Iceland, during S…

lieferbar ab 28.10.2025.

Buch

EUR 43,80* Aktueller Preis: EUR 43,80

Artikel merken

In den Warenkorb

Menge ändern