Trefferliste "Tarmo Uustalu" - alle Bücher

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

Ansicht:

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
Aktueller Preis: EUR 43,80
Informationen zur Lieferbarkeit bzw. zu Veröffentlichungsterminen von Artikeln beruhen auf Vorabinformationen unserer Lieferanten. Diese Termine sind ohne Gewähr und können sich jederzeit ändern.