Saat noutopistetoimituksen veloituksetta*, kun tilauksesi arvo ylittää 39 €!
*Koskee yksityisasiakkaiden tilauksia, jotka toimitetaan Suomeen.
|
|

avaa valikko

Stefan Berghofer | Booky.fi

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



Theorem Proving in Higher Order Logics - 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009, Procee
Berghofer, Stefan; Nipkow, Tobias; Urban, Christian; Wenzel, Makarius
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2009
Pehmeäkantinen kirja
Saatavuus: Tilaustuote Arvioimme, että tuote lähetetään meiltä noin 4-5 viikossa
Theorem Proving in Higher Order Logics - 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009, Procee
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,10 €
Modeling and Retrieval of Context - Second International Workshop, MRC 2005, Edinburgh, UK, July 31-August 1, 2005, Revised Sele
Roth-Berghofer, Thomas R.; Schulz, Stefan; Leake, David B.
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2006
Pehmeäkantinen kirja
Saatavuus: Tilaustuote Arvioimme, että tuote lähetetään meiltä noin 4-5 viikossa
Modeling and Retrieval of Context - Second International Workshop, MRC 2005, Edinburgh, UK, July 31-August 1, 2005, Revised Sele
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,10 €