Gian Luca Pozzato - Böcker

Visar alla böcker från författaren Gian Luca Pozzato.

1 produkt

Kategorier

1 produkt

Automated Reasoning with Analytic Tableaux and Related Methods

34th International Conference, TABLEAUX 2025, Reykjavik, Iceland, September 27–29, 2025, Proceedings

Av Gian Luca Pozzato, Tarmo Uustalu

Häftad, Engelska, 2025

639 kr

Skickas inom 10-15 vardagar