Result: Interactive theorem proving and program development
Title:
Interactive theorem proving and program development : Coq'Art: the calculus of inductive constructions / Yves Bertot ; Pierre Castéran
Involved:
Published:
Berlin [u.a.] : Springer, 2004
Scope:
XXV, 469 S. ; 24 cm
Resource Type:
Language:
English
Series/ Mutipart item:
Texts in theoretical computer science
Notes:
Literaturverz. S. 453 - 457
RVK-Notation:
Subject Added Keywords:
ISBN:
9783642058806 ; 9783540208549