Automated Reasoning with Analytic Tableaux and Related Methods

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

Autres titres de la collection: Lecture Notes in Artificial Intelligence

Afficher tout

Autres titres sur ce thème