Automated Reasoning with Analytic Tableaux and Related Methods

34th International Conference, TABLEAUX 2025, Reykjavik, Iceland, September 27–29, 2025, Proceedings
Dezember 2025, Lecture Notes in Artificial Intelligence, Lecture Notes in Computer Science, Englisch
Springer International Publishing
978-3-032-06084-6

Weitere Titel der Reihe: Lecture Notes in Artificial Intelligence

Alle anzeigen

Weitere Titel zum Thema