Gian Luca Pozzato – författare
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
579 kr
Skickas inom 5-8 vardagar