5 Ebooks by Freek Wiedijk
Serge Autexier & John Campbell: Intelligent Computer Mathematics
This book constitutes the joint refereed proceedings of the 9th International Conference on Artificial Intelligence and Symbolic Computation, AISC 2008, the 15th Symposium on the Integration of …
PDF
English
DRM
€95.19
Freek Wiedijk: Seventeen Provers of the World
Commemorating the 50th anniversary of the first time a mathematical theorem was proven by a computer system, Freek Wiedijk initiated the present book in 2004 by inviting formalizations of a proof of …
PDF
English
DRM
€62.32
Oded Maler & Amir Pnueli: Hybrid Systems: Computation and Control
This volume contains the proceedings of the Sixth Workshop on Hybrid Systems: Computation and Control (HSCC 2003), which was held in Prague, during April 3-5, 2003. The Hybrid Systems workshops …
PDF
English
DRM
€110.75
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), …
PDF
English
DRM
€56.04
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 …
PDF
English
DRM
€56.41
