𝔖 Scriptorium
✦   LIBER   ✦
πŸ“

Interactive Theorem Proving and Program Development: Coq'Art: The Calculus of Inductive Constructions

✍ Scribed by Yves Bertot, Pierre Castéran

Publisher
Springer
Year
2004
Tongue
English
Leaves
497
Series
Texts in theoretical computer science
Edition
1
Category
Library
⬇  Acquire This Volume

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Interactive Theorem Proving and Program
πŸ“ Interactive Theorem Proving and Program Development: Coq'Art: The Calculus of Inductive Constructions
✍ Yves Bertot, Pierre CastΓ©ran πŸ“‚ Library πŸ“… 2004 πŸ› Springer 🌐 English

Coq is an interactive proof assistant for the development of mathematical theories and formally certified software. It is based on a theory called the calculus of inductive constructions, a variant of type theory. This book provides a pragmatic introduction to the development of proofs and certified

Interactive Theorem Proving and Program
πŸ“ Interactive Theorem Proving and Program Development: Coq’Art: The Calculus of Inductive Constructions
✍ Yves Bertot, Pierre CastΓ©ran πŸ“‚ Library πŸ“… 2004 πŸ› Springer 🌐 English

<p><P>Coq is an interactive proof assistant for the development of mathematical theories and formally certified software. It is based on a theory called the calculus of inductive constructions, a variant of type theory.</P><P>This book provides a pragmatic introduction to the development of proofs a

Interactive Theorem Proving
πŸ“ Interactive Theorem Proving
✍ Jeremy Avigad, Assia Mahboubi πŸ“‚ Library πŸ“… 2018 πŸ› Springer International Publishing 🌐 English

<p><p>This book constitutes the refereed proceedings of the 9th International Conference on Interactive Theorem Proving, ITP 2018, held in Oxford, UK, in July 2018.</p>The 32 full papers and 5 short papers presented were carefully reviewed and selected from 65 submissions. The papers feature researc

The Art and Science of Interface and Int
πŸ“ The Art and Science of Interface and Interaction Design
✍ Christa Sommerer, Lakhmi C. Jain (auth.), Christa Sommerer, Lakhmi C. Jain, Laur πŸ“‚ Library πŸ“… 2008 πŸ› Springer-Verlag Berlin Heidelberg 🌐 English

<p><P>Artists and creators in interactive art and interaction design have long been conducting research on human-machine interaction. Through artistic, conceptual, social and critical projects, they have shown how interactive digital processes are essential elements for their artistic creations. Res