Interactive theorem proving and program development : Coq'Art : the calculus of inductive constructions /

Interactive theorem proving and program development : Coq'Art : the calculus of inductive constructions /

57

Bibliographic Details
Main Authors: 183708 Bertot, Yves, Casteran, P. (Pierre)
Format:
Language:eng
Published: Berlin : Springer, 2004
Subjects:
Automatic theorem proving
Computer programming

Similar Items