Trefferliste "Gian Luca Pozzato" - alle Bücher

Ihre Suche nach "Gian Luca Pozzato" (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.