Mario Ornaghi - Böcker

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

1 produkt

Kategorier

1 produkt

Theorem Proving with Analytic Tableaux and Related Methods

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

AvPierangelo Miglioli,Ugo Moscato m. fl.

Häftad, Engelska, 1996

689 kr

Skickas inom 10-15 vardagar