It looks like you're offline.
Donate
English (en) Change Website Language
Open Library logo
additional options menu
Last edited by RenameBot
September 7, 2008 | History
Edit

Yves Bertot

We need a photo of Yves Bertot

5 works Add another?

Showing all works by author. Would you like to see only ebooks?

  • Cover of: From Semantics to Computer Science

    First published in 2009 — 6 editions
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Theorem Proving in Higher Order Logics: 12th International Conference, TPHOLs'99, Nice, France, September 14-17, 1999, Proceedings (Lecture Notes in Computer Science)

    First published in 1999 — 2 editions
    Borrow Listen

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Proceedings of the 6th ACM SIGPLAN Conference on Certified Programs and Proofs

    First published in 2017 — 1 edition
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Interactive Theorem Proving and Program Development: Coq'Art: The Calculus of Inductive Constructions

    First published in 2004 — 1 edition
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Interactive theorem proving and program development: Coq'Art : the calculus of inductive constructions

    First published in 2004 — 1 edition
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
We need a photo of Yves Bertot

Subjects

Automatic theorem proving, Computer programming, Computer science, Software engineering, Artificial intelligence, Automatische bewijsvoering, Automatisches Beweisverfahren, Calculus of operations, Computer network architectures, Computer scientists, Congres, Congresses, Demonstration automatique, Formal languages, HOL, Information technology, Kongress, Linguagens formais e automatos, Logic design, Logic, symbolic and mathematical, Logica, Logica matematica, Proof theory, Semantics, Theoremes

Lists

Add to List

My Reading Lists:

Create a new list

ID Numbers

  • OLID: OL1395853A

Links outside Open Library

No links yet. Add one?

History

Download catalog record: RDF / JSON
September 7, 2008 Edited by RenameBot fix author name
April 1, 2008 Created by an anonymous user initial import