6 Ebooks por Herman Geuvers
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
Inglês
DRM
€57.64
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
Inglês
DRM
€57.91
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
Inglês
DRM
€57.94
