Ugo Moscato - Böcker

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

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,Daniele Mundici,Mario Ornaghi

Häftad, Engelska, 1996

689 kr

Skickas inom 10-15 vardagar