Herman Geuvers - Böcker
Visar alla böcker från författaren Herman Geuvers.
5 produkter
5 produkter
2 219 kr
Skickas inom 7-10 vardagar
1 239 kr
Skickas inom 7-10 vardagar
Del 10383 - Lecture Notes in Computer Science
Intelligent Computer Mathematics
10th International Conference, CICM 2017, Edinburgh, UK, July 17-21, 2017, Proceedings
Häftad, Engelska, 2017
719 kr
Skickas inom 10-15 vardagar
Types for Proofs and Programs
Second International Workshop, TYPES 2002, Berg en Dal, The Netherlands, April 24-28, 2002, Selected Papers
Häftad, Engelska, 2003
699 kr
Skickas inom 10-15 vardagar
Interactive Theorem Proving
Second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011, Proceedings
Häftad, Engelska, 2011
719 kr
Skickas inom 10-15 vardagar