|
|

avaa valikko

Joe Hurd | Akateeminen Kirjakauppa

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



Theorem Proving in Higher Order Logics - 18th International Conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005, Proceedings
Hurd, Joe; Melham, Tom
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2005
Pehmeäkantinen kirja
Theorem Proving in Higher Order Logics - 18th International Conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005, Proceedings
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,10 €