Gian Luca Pozzato - Böcker
Visar alla böcker från författaren Gian Luca Pozzato.
1 produkt
1 produkt
Del 15980 - Lecture Notes in Computer Science
Automated Reasoning with Analytic Tableaux and Related Methods
34th International Conference, TABLEAUX 2025, Reykjavik, Iceland, September 27–29, 2025, Proceedings
Häftad, Engelska, 2025
569 kr
Skickas inom 7-10 vardagar