Mario Ornaghi – författare

Visar alla böcker från författaren .

1 produkt

Kategorier

1 produkt

Pierangelo Miglioli, Ugo Moscato, Daniele Mundici, Mario Ornaghi - Theorem Proving with Analytic Tableaux and Related Methods, Häftad

Theorem Proving with Analytic Tableaux and Related Methods

5th International Workshop, TABLEAUX '96, Terrasini (Palermo), Italy, May 15 - 17, 1996. Proceedings

AvPierangelo Miglioli,Ugo Moscatom. fl.

Häftad, Engelska, 1996

709 kr

Skickas inom 10-15 vardagar