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

Yves Bertot

5 works Add another?

Sorting by Sorted by: Most Editions | First Published | Most Recent | Top Rated | Reading Log | Random

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

  • Cover of: From Semantics to Computer Science: Essays in Honour of Gilles Kahn

    First published in 2009 5 editions in 1 language
    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 in 1 language — 1 previewable
    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 in 1 language
    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 in 1 language — 1 previewable
    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 in 1 language — 1 previewable
    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