|
|

avaa valikko

Herman Geuvers | Akateeminen Kirjakauppa

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



Interactive Theorem Proving - Second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011, Proce
Van Eekelen, Marko; Geuvers, Herman; Schmaltz, Julien; Wiedijk, Freek
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2011
Pehmeäkantinen kirja
Interactive Theorem Proving - Second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011, Proce
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,10 €
Type Theory and Formal Proof: An Introduction
Rob Nederpelt; Herman Geuvers
Cambridge University Press
2014
Kovakantinen kirja
Type Theory and Formal Proof: An Introduction
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
88,40 €
Types for Proofs and Programs - Second International Workshop, TYPES 2002, Berg en Dal, The Netherlands, April 24-28, 2002, Sele
Geuvers, Herman; Wiedijk, Freek
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2003
Pehmeäkantinen kirja
Types for Proofs and Programs - Second International Workshop, TYPES 2002, Berg en Dal, The Netherlands, April 24-28, 2002, Sele
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,10 €
Intelligent Computer Mathematics - 10th International Conference, CICM 2017, Edinburgh, UK, July 17-21, 2017, Proceedings
Geuvers, Herman; England, Matthew; Hasan, Osman; Rabe, Florian; Teschke, Olaf
Springer International Publishing AG
2017
Pehmeäkantinen kirja
Intelligent Computer Mathematics - 10th International Conference, CICM 2017, Edinburgh, UK, July 17-21, 2017, Proceedings
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,10 €
Logic Colloquium 2006
Cooper, S. Barry; Geuvers, Herman; Pillay, Anand; Väänänen, Jouko
Cambridge University Press
2009
Kovakantinen kirja
Logic Colloquium 2006
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
147,30 €