|
|

avaa valikko

TheoremprovingandSATsolving | Akateeminen Kirjakauppa

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



Interactive Theorem Proving - 5th International Conference, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vien
Klein, Gerwin; Gamboa, Ruben
Springer International Publishing AG
2014
Pehmeäkantinen kirja
Interactive Theorem Proving - 5th International Conference, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vien
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,10 €