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 Paperback 2010

⭐ 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: 9783642058806
  • ISBN 10: 3642058809
  • Publication Year: 2010
  • Language: English

Specifications

Index-103642058809
LanguageEnglish
Index-139783642058806
Period-
Class Track-
Publisher- (2010)
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
Catalogue of the Coins in the Indian Museum, Calcutta

Catalogue of the Coins in the Indi…

Indian Museum

Inquire