It looks like you're offline.

Last edited anonymously

April 30, 2008 | History

Edit

Gilles Dowek

We need a photo of Gilles Dowek

19 works Add another?

Most Editions

Most Editions First Published Most Recent Top Rated Reading Log Trending Random

Details Grid — Show only ebooks?

Principles of programming languages

by Gilles Dowek First published in 2009 — 4 editions

Locate

My Reading Lists:

Create a new list

Create a new list
×Close

Name:

Description:

Cancel
Preview

Preview Book
×Close

Computation, proof, machine: mathematics enters a new age

by Gilles Dowek First published in 2015 — 3 editions

Preview Only

My Reading Lists:

Create a new list
Age of Algorithms

by Gilles Dowek, Serge Abiteboul, and K-Rae Nelson First published in 2017 — 3 editions

Locate

My Reading Lists:

Create a new list
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

by Gilles Dowek First published in 2014 — 2 editions

Locate

My Reading Lists:

Create a new list
Age of Algorithms

by Serge Abiteboul, Gilles Dowek, and K-Rae Nelson First published in 2019 — 2 editions

Locate

My Reading Lists:

Create a new list
Preview

Theorem Proving in Higher Order Logics: 12th International Conference, TPHOLs'99, Nice, France, September 14-17, 1999, Proceedings (Lecture Notes in Computer Science)

by Yves Bertot, Gilles Dowek, and Andre Hirschowitz First published in 1999 — 2 editions

Preview Only

My Reading Lists:

Create a new list
Tactical conflict detection and resolution in a 3-D airspace

by Gilles Dowek First published in 2001 — 2 editions

Locate

My Reading Lists:

Create a new list
La Logique

by Gilles Dowek First published in 2002 — 2 editions

Locate

My Reading Lists:

Create a new list
Podemos Creer En Los Sondeos? (Las Manzanas Del Saber)

by Gilles Dowek First published in 2006 — 1 edition

Locate

My Reading Lists:

Create a new list
Pourquoi moi ?: Le hasard dans tous ses états

by Jean-Paul Delahaye, Jean-Louis Dessalles, Sebastien Dieguez, Gilles Dowek, Marc Lachièze-Rey, and Roland Lehoucq First published in 2021 — 1 edition

Locate

My Reading Lists:

Create a new list
Les métamorphoses du calcul: une étonnante histoire des mathématiques

by Gilles Dowek First published in 2011 — 1 edition

Locate

My Reading Lists:

Create a new list
Proceedings of the Eleventh Workshop on Logical Frameworks and Meta-Languages: Theory and Practice

by Gilles Dowek First published in 2016 — 1 edition

Locate

My Reading Lists:

Create a new list
Automated Reasoning: 4th International Joint Conference, IJCAR 2008, Sydney, NSW, Australia, August 12-15, 2008, Proceedings

by Alessandro Armando, Peter Baumgartner, and Gilles Dowek First published in 2008 — 1 edition

Locate

My Reading Lists:

Create a new list
Introduction to the Theory of Programming Languages (Undergraduate Topics in Computer Science)

by Gilles Dowek and Jean-Jacques Lévy First published in 2010 — 1 edition

Locate

My Reading Lists:

Create a new list
Preview

Quand la science a dit c'est impossible

by Jean-Michel Alimi, Gilles Dowek, Laurence Rolland, and Nayla Farouki First published in 1999 — 1 edition
Borrow

Listen

Locate
My Reading Lists:

Create a new list
Preview

Proofs and Algorithms: An Introduction to Logic and Computability

by Gilles Dowek First published in 2011 — 1 edition

Locate

My Reading Lists:

Create a new list
Les me tamorphoses du calcul: une e tonnante histoire de mathe matiques

by Gilles Dowek First published in 2007 — 1 edition

Locate

My Reading Lists:

Create a new list
Peut-on croire les sondages?

by Gilles Dowek First published in 2002 — 1 edition

Locate

My Reading Lists:

Create a new list
Voulez-vous jouer avec les maths ?

by Gilles Dowek First published in 2002 — 1 edition

Locate

My Reading Lists:

Create a new list

We need a photo of Gilles Dowek

Add to List

My Reading Lists:

Create a new list

ID Numbers

OLID: OL3958235A

Links outside Open Library

No links yet. Add one?

Download catalog record: RDF / JSON