It looks like you're offline.
Donate
Change Website Language
Open Library logo
additional options menu
Last edited anonymously
April 30, 2008 | History
Edit

Gilles Dowek

We need a photo of Gilles Dowek

19 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: Principles of programming languages

    First published in 2009 4 editions in 1 language — 2 previewable Cover of edition principlesprogra00dowe_055
    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: Computation, proof, machine: mathematics enters a new age

    First published in 2015 3 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: Age of Algorithms

    First published in 2017 3 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: Tactical conflict detection and resolution in a 3-D airspace

    First published in 2001 2 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: Age of Algorithms

    First published in 2019 2 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: Rewriting and Typed Lambda Calculi: Joint International Conferences, RTA and TLCA 2014, Held As Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings

    First published in 2014 2 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: La Logica

    First published in 2002 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: Peut-on croire les sondages?

    First published in 2002 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: Podemos Creer En Los Sondeos? (Las Manzanas Del Saber)

    First published in 2006 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: Voulez-vous jouer avec les maths ?

    First published in 2002 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: Les métamorphoses du calcul: une étonnante histoire des mathématiques

    First published in 2011 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: Automated Reasoning: 4th International Joint Conference, IJCAR 2008, Sydney, NSW, Australia, August 12-15, 2008, Proceedings

    First published in 2008 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: Proceedings of the Eleventh Workshop on Logical Frameworks and Meta-Languages: Theory and Practice

    First published in 2016 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: Introduction to the Theory of Programming Languages (Undergraduate Topics in Computer Science)

    First published in 2010 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: Les me tamorphoses du calcul: une e tonnante histoire de mathe matiques

    First published in 2007 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: Proofs and Algorithms: An Introduction to Logic and Computability

    First published in 2011 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: Pourquoi moi ?: Le hasard dans tous ses états

    First published in 2021 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: Quand la science a dit c'est impossible

    First published in 1999 1 edition 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
We need a photo of Gilles Dowek

Subjects
Logic, symbolic and mathematical, Symbolic and mathematical Logic, Algorithms, Computer science, History, Mathematical Logic and Formal Languages, Mathematics, Air traffic, Algebra, Ancient Mathematics, Automatic theorem proving, Automatische bewijsvoering, Automatisches Beweisverfahren, Calcul, Computing Methodologies, Congres, Congresses, Data processing, Demonstration automatique, Electronic data processing, Gödel's theorem, HOL, Histoire, Information theory, Informatique
Time
20th century, Antiquite / 20e s., Antiquite / 21e s. (de but)

Lists

Add to List

My Reading Lists:

Create a new list

ID Numbers

  • OLID: OL3958235A

Links (outside Open Library)

No links yet. Add one?

History

Download catalog record: RDF / JSON
April 30, 2008 Created by an anonymous user initial import