Logo

Educated Owl Books
Help Login / SignUp (0)
Sell with us!
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

by Yves Bertot, Pierre Castéran, G. Huet, C. Paulin-Mohring Hardcover 2004

⭐ 0.0 rating
⭐ 0.0 out of 5 0 global ratings
5 star
65%
4 star
20%
3 star
10%
2 star
3%
1 star
2%
| 📖 0 saved | ✅ 0 verified
  • Author: Yves Bertot, Pierre Castéran, G. Huet, C. Paulin-Mohring
  • ISBN 13: 9783540208549
  • ISBN 10: 3540208542
  • Publication Year: 2004
  • Language: English

Specifications

Index-103540208542
LanguageEnglish
Index-139783540208549
Period-
Class Track-
Publisher- (2004)
Pages-

✨ Readers also enjoyed...

View All →
Interactive Theorem Proving and Program Development : Coq'Art: the Calculus of Inductive Constructions

Interactive Theorem Proving and Pr…

Yves Bertot, Pierre Castéran, G. Huet, C. Paulin-Mohring

Inquire
Theorem Proving in Higher Order Logics : 12th International Conference, TPHOLS '99, Nice, France, September 14-17, 1999, Proceedings

Theorem Proving in Higher Order Lo…

Yves Bertot, Gilles Dowek, Andre Hirschowitz, Christine Paulin, Laurent Thery

Inquire
Since Last We Met

Since Last We Met

J. Weldon

Inquire