Gilles Dowek

Identifiers

Open LibraryOL3958235A

Top Subjects

Programming languages (Electronic computers) (2)
Science (1)
General (1)
Spanish: Adult Nonfiction (1)
Social Science (1)
Sociology - General (1)
Histoire (1)

Books by Gilles Dowek

Total count: 21

Quand la science a dit c'est impossible

Le Pommier1999-01-01
Tactical conflict detection and resolution in a 3-D airspace

Available from NASA Center for Aerospace Information2001-01-01
La Logica

Siglo XXI Ediciones2002-03-01
Peut-on croire les sondages?

Le Pommier2002-03-15
Voulez-vous jouer avec les maths ?

Le Pommier2002-06-17
Theorem Proving in Higher Order Logics12th International Conference, TPHOLs'99, Nice, France, September 14-17, 1999, Proceedings

Springer London, Limited2003-01-01
Podemos Creer En Los Sondeos? (Las Manzanas Del Saber)

Ediciones Akal2006-03-29
Les me tamorphoses du calculune e tonnante histoire de mathe matiques

Le Pommier2007-01-01
Automated Reasoning4th International Joint Conference, IJCAR 2008, Sydney, NSW, Australia, August 12-15, 2008, Proceedings

Springer London, Limited2008-01-01
Principles of programming languages

Springer2009-01-01
Introduction to the Theory of Programming Languages (Undergraduate Topics in Computer Science)

Springer2010-12-09
Proofs and AlgorithmsAn Introduction to Logic and Computability

Springer-Verlag London Limited2011-01-01
Les métamorphoses du calculune étonnante histoire des mathématiques

Pommier2011-01-01
Rewriting and Typed Lambda CalculiJoint International Conferences, RTA and TLCA 2014, Held As Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings

Springer International Publishing AG2014-01-01
Higher-Order Algebra, Logic, and Term RewritingSecond International Workshop, HOA '95, Paderborn, Germany, September 1995. Selected Papers

Springer2014-03-12
Computation, Proof, MachineMathematics Enters a New Age

Cambridge University Press2015-01-01
Proceedings of the Eleventh Workshop on Logical Frameworks and Meta-LanguagesTheory and Practice

Association for Computing Machinery2016-01-01
Ce dont on ne peut parler, il faut l'écrirelangues et langages

Le Pommier2019-01-01
Age of Algorithms

Cambridge University Press2019-01-01
Age of Algorithms

Cambridge University Press2019-01-01
Pourquoi moi ?Le hasard dans tous ses états

BELIN2021-01-13