| |

avaa valikko

Ugo Moscato | Akateeminen Kirjakauppa

Haullasi löytyi yhteensä 1 tuotetta
Haluatko tarkentaa hakukriteerejä?

Theorem Proving with Analytic Tableaux and Related Methods - 5th International Workshop, TABLEAUX '96, Terrasini (Palermo), Ital

Miglioli, Pierangelo; Moscato, Ugo; Mundici, Daniele; Ornaghi, Mario
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
1996
Pehmeäkantinen kirja

Theorem Proving with Analytic Tableaux and Related Methods - 5th International Workshop, TABLEAUX '96, Terrasini (Palermo), Ital

51,40 €