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

Av Pierangelo Miglioli, Ugo Moscato m. fl

Häftad, Engelska, 1996

709 kr

Skickas inom 10-15 vardagar