Interactive theorem proving and program development : Coq'Art: the calculus of inductive constructions
Yves Bertot, Pierre Castéran ; foreword by Gérard Huet and Christine Paulin-Mohring
Bok Engelsk 2004
| Medvirkende | |
|---|---|
| Utgitt | Berlin : Springer , 2004
|
| Omfang | XXV, 469 s.
|
| Emner | |
| Dewey | |
| ISBN | 3540208542
|
