Gilles Dowek
- Auteur
Gilles Dowek is a researcher in computer science. He has published several popular science books, as well as books on epistemology of computer science and ethics in the digital world. His book Computation, Proof, Machine (Cambridge, 2015) has received the French Academy philosophy award.
Gilles Dowek is a researcher in computer science. He has published several popular science books, as well as books on epistemology of computer science and ethics in the digital world. His book Computation, Proof, Machine (Cambridge, 2015) has received the French Academy philosophy award.
Boeken van Gilles Dowek
Serge Abiteboul
Gilles Dowek
The Age of Algorithms
Algorithms are probably the most sophisticated tools that people have had at their disposal since the beginnings of human history. They have transformed science, industry, society.
Meer
Gilles Dowek
Gilles (Ecole Polytechnique, Paris) Dowek
Computation, Proof, Machine
Computation is revolutionizing our world, even the inner world of the 'pure' mathematician. Mathematical methods - especially the notion of proof - that have their roots in classical antiquity have seen a radical transformation since the 1970s, as successive advances have challenged the priority of reason over computation.
Meer
Gilles Dowek
Jean-Jacques Lévy
Introduction to the Theory of Programming Languages
This book sets unites the various formalisms that define a programming language: ‘small steps’ operational semantics, ‘big steps’ operational semantics, and denotational semantics.
Meer
Yves Bertot
Gilles Dowek
Andre Hirschowitz
Christine Paulin
Laurent Thery
Theorem Proving in Higher Order Logics
This book contains the proceedings of the 12th International Conference on TheoremProvinginHigherOrderLogics(TPHOLs’99),whichwasheldinNice at the University of Nice-Sophia Antipolis, September 14{17, 1999.
Meer
Alessandro Armando
Peter Baumgartner
Gilles Dowek
Automated Reasoning
ThisvolumecontainsthepaperspresentedatIJCAR2008,the4thInternational Joint Conference on Automated Reasoning, held August 12–15, 2008, in S- ney (Australia).
Meer