Mario Ornaghi – författare
Visar alla böcker från författaren Mario Ornaghi.
1 produkt
1 produkt
Theorem Proving with Analytic Tableaux and Related Methods
5th International Workshop, TABLEAUX '96, Terrasini (Palermo), Italy, May 15 - 17, 1996. Proceedings
Häftad, Engelska, 1996
699 kr
Skickas inom 10-15 vardagar