Herman Geuvers – författare
Visar alla böcker från författaren Herman Geuvers. Handla med fri frakt och snabb leverans.
10 produkter
Type Theory and Formal Proof
An Introduction
Av Rob Nederpelt, Herman Geuvers
Inbunden, 2014
1257 kr
Lägg i varukorg
Type theory is a fast-evolving field at the crossroads of logic, computer science and mathematics. This gentle step-by-step introduction is ideal for graduate students and researchers who need to understand the ins and outs of the mathematical machinery, the role of logical rules therein, the …
Type Theory and Formal Proof
An Introduction
Av Herman Geuvers, Rob Nederpelt
E-bok, 2014
1215 kr
Lägg i varukorg
Type theory is a fast-evolving field at the crossroads of logic, computer science and mathematics. This gentle step-by-step introduction is ideal for graduate students and researchers who need to understand the ins and outs of the mathematical machinery, the role of logical rules therein, the …
Type Theory and Formal Proof
An Introduction
Av Herman Geuvers, Rob Nederpelt
E-bok, 2014
1242 kr
Lägg i varukorg
Type theory is a fast-evolving field at the crossroads of logic, computer science and mathematics. This gentle step-by-step introduction is ideal for graduate students and researchers who need to understand the ins and outs of the mathematical machinery, the role of logical rules therein, the …
Intelligent Computer Mathematics
10th International Conference, CICM 2017, Edinburgh, UK, July 17-21, 2017, Proceedings
Av Herman Geuvers, Matthew England m. fl.
Häftad, 2017
568 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 10th International Conference on Intelligent Computer Mathematics, CICM 2017, held in Edinburgh, Scotland, in July 2017. The 22 full papers and 3 abstracts of invited papers presented were carefully reviewed and selected from a total of 40 …
Intelligent Computer Mathematics
10th International Conference, CICM 2017, Edinburgh, UK, July 17-21, 2017, Proceedings
Av Olaf Teschke, Florian Rabe m. fl.
E-bok, 2017
739 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 10th International Conference on Intelligent Computer Mathematics, CICM 2017, held in Edinburgh, Scotland, in July 2017. The 22 full papers and 3 abstracts of invited papers presented were carefully reviewed and selected from a total of 40 …
Types for Proofs and Programs
Second International Workshop, TYPES 2002, Berg en Dal, The Netherlands, April 24-28, 2002, Selected Papers
Av Herman Geuvers, Freek Wiedijk
Häftad, 2003
552 kr
Lägg i varukorg
These proceedings contain a refereed selection of papers presented at the Second Annual Workshop of the Types Working Group (Computer-Assisted Reasoning based on Type Theory, EUIST project 29001), which was held April 24–28, 2002 in Hotel Erica, Berg en Dal (close to Nijmegen), The Netherlands. The …
Types for Proofs and Programs
Second International Workshop, TYPES 2002, Berg en Dal, The Netherlands, April 24-28, 2002, Selected Papers
Av Freek Wiedijk, Herman Geuvers
E-bok, 2003
739 kr
Lägg i varukorg
These proceedings contain a refereed selection of papers presented at the Second Annual Workshop of the Types Working Group (Computer-Assisted Reasoning based on Type Theory, EUIST project 29001), which was held April 24–28, 2002 in Hotel Erica, Berg en Dal (close to Nijmegen), The Netherlands. The …
Interactive Theorem Proving
Second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011, Proceedings
Av Marko Van Eekelen, Herman Geuvers m. fl.
Häftad, 2011
568 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the Second International Conference on Interactive Theorem proving, ITP 2011, held in Berg en Dal, The Netherlands, in August 2011. The 25 revised full papers presented were carefully reviewed and selected from 50 submissions. Among the topics …
Interactive Theorem Proving
Second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011, Proceedings
Av Freek Wiedijk, Julien Schmaltz m. fl.
E-bok, 2011
734 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the Second International Conference on Interactive Theorem proving, ITP 2011, held in Berg en Dal, The Netherlands, in August 2011. The 25 revised full papers presented were carefully reviewed and selected from 50 submissions. Among the topics …
Logic Colloquium 2006
Av S. Barry Cooper, Herman Geuvers m. fl.
Inbunden, 2009
1837 kr
Tillfälligt slut
The Annual European Meeting of the Association for Symbolic Logic, also known as the Logic Colloquium, is among the most prestigious annual meetings in the field. The current volume, with contributions from plenary speakers and selected special session speakers, contains both expository and …
