7 results
Type of media (2)
Classification (2)
Year
Persons
Publishers
Sort by
Results per page
Filter
7 results

Your search for Yves Bertot

  1. Cover: Interactive Theorem Proving and Program Development - Springer
    Yves Bertot | Pierre Castéran
    Interactive Theorem Proving and Program Development
    Coq'Art: The Calculus of Inductive Constructions
    03/2013
    Springer
    9783662079645 (ISBN)
    E-Book
    PDF
    Other editions
    €90.94
    Available for download
  2. Cover: From Semantics to Computer Science - Cambridge University Press
    Yves Bertot | Gerard Huet | Jean-Jacques Levy
    From Semantics to Computer Science
    Essays in Honour of Gilles Kahn
    06/2010
    Cambridge University Press
    9780511763564 (ISBN)
    E-Book
    PDF
    Other editions
    €114.99
    Available for download
  3. Cover: Theorem Proving in Higher Order Logics - Springer
    Yves Bertot | Gilles Dowek | Andre Hirschowitz
    Theorem Proving in Higher Order Logics
    12th International Conference, TPHOLs'99, Nice, France, September 14-17, 1999, Proceedings
    07/2003
    Springer
    9783540482567 (ISBN)
    E-Book
    PDF
    Other editions
    €53.49
    Available for download
  4. Cover: Interactive Theorem Proving and Program Development - Springer
    Yves Bertot | Pierre Castéran
    Interactive Theorem Proving and Program Development
    Coq'Art: The Calculus of Inductive Constructions
    12/2010
    Springer
    9783642058806 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €90.94
    Shipment within 7-9 days
  5. Cover: Interactive Theorem Proving and Program Development - Springer
    Yves Bertot | Pierre Castéran
    Interactive Theorem Proving and Program Development
    Coq'Art: The Calculus of Inductive Constructions
    05/2004
    Springer
    9783540208549 (ISBN)
    Book
    Hardback
    Other editions
    €128.39
    Shipment within 10-15 days
  6. Cover: From Semantics to Computer Science - Cambridge University Press
    Yves Bertot | Gerard Huet | Jean-Jacques Levy
    From Semantics to Computer Science
    Essays in Honour of Gilles Kahn
    09/2009
    Cambridge University Press
    9780521518253 (ISBN)
    Book
    Hardback
    Other editions
    €193.40
    Shipment within 15-20 days
  7. Cover: Theorem Proving in Higher Order Logics - Springer
    Yves Bertot | Gilles Dowek | Andre Hirschowitz
    Theorem Proving in Higher Order Logics
    12th International Conference, TPHOLs'99, Nice, France, September 14-17, 1999, Proceedings
    09/1999
    Springer
    9783540664635 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 10-15 days