Gian Luca Pozzato - Böcker

Visar alla böcker från författaren Gian Luca Pozzato.
1 produkt
  • Nyhet
Gian Luca Pozzato, Tarmo Uustalu - Automated Reasoning with Analytic Tableaux and Related Methods, Häftad
Del 15980 - Lecture Notes in Computer Science

Automated Reasoning with Analytic Tableaux and Related Methods

Av Gian Luca Pozzato, Tarmo Uustalu

Häftad, Engelska, 2025

989 kr

Kommande