6 Електронні книги від Herman Geuvers
Herman (Radboud Universiteit Nijmegen) Geuvers & Rob (Technische Universiteit Eindhoven, The Netherlands) Nederpelt: Type Theory and Formal Proof
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 und …
PDF
DRM
€84.96
Matthew England & Herman Geuvers: Intelligent Computer Mathematics
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 …
EPUB
Англійська
DRM
€57.78
Herman Geuvers & Freek Wiedijk: Types for Proofs and Programs
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), wh …
PDF
Англійська
DRM
€57.51
Marko Van Eekelen & Herman Geuvers: Interactive Theorem Proving
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 fu …
PDF
Англійська
DRM
€57.90
