Gilles Dowek
Gilles Dowek
14 ספרים במאגר
ספרים
Computation, proof, machineGilles Dowek
Computation, proof, machine
Gilles Dowek · 2015
Le temps des algorithmesGilles Dowek
Le temps des algorithmes
Gilles Dowek · 2019
Proofs and AlgorithmsGilles Dowek
Proofs and Algorithms
Gilles Dowek · 2011
Principles of programming languagesGilles Dowek
Principles of programming languages
Gilles Dowek · 2009
Proceedings of the Eleventh Workshop on Logical Frameworks and Meta-LanguagesGilles Dowek
Proceedings of the Eleventh Workshop on Logical Frameworks and Meta-Languages
Gilles Dowek · 2016
Rewriting and Typed Lambda CalculiGilles Dowek
Rewriting and Typed Lambda Calculi
Gilles Dowek · 2014
Introduction to the Theory of Programming Languages (Undergraduate Topics in Computer Science)Gilles Dowek
Introduction to the Theory of Programming Languages (Undergraduate Topics in Computer Science)
Gilles Dowek · 2010
Les me tamorphoses du calculGilles Dowek
Les me tamorphoses du calcul
Gilles Dowek · 2007
Peut-on croire les sondages?Gilles Dowek
Peut-on croire les sondages?
Gilles Dowek · 2002
Voulez-vous jouer avec les maths ?Gilles Dowek
Voulez-vous jouer avec les maths ?
Gilles Dowek · 2002
La LogicaGilles Dowek
La Logica
Gilles Dowek · 2002
Ce dont on ne peut parler, il faut l'écrireGilles Dowek
Ce dont on ne peut parler, il faut l'écrire
Gilles Dowek · 2019
Les métamorphoses du calculGilles Dowek
Les métamorphoses du calcul
Gilles Dowek · 2011
Podemos Creer En Los Sondeos? (Las Manzanas Del Saber)Gilles Dowek
Podemos Creer En Los Sondeos? (Las Manzanas Del Saber)
Gilles Dowek · 2006
ספרים משותפים ואוספים
ספרים שבהם Gilles Dowek מופיע/ה ברשימת המחברים, לא כמחבר/ת הראשי/ת: ספרים משותפים, אוספים וסיכומים.
Theorem proving in higher order logicsYves Bertot
Theorem proving in higher order logics
Yves Bertot · 1999
Pourquoi moi ?Jean-Paul Delahaye
Pourquoi moi ?
Jean-Paul Delahaye · 2021
Age of AlgorithmsSerge Abiteboul
Age of Algorithms
Serge Abiteboul · 2019
Automated ReasoningAlessandro Armando
Automated Reasoning
Alessandro Armando · 2008
Quand la science a dit c'est impossibleJean-Michel Alimi
Quand la science a dit c'est impossible
Jean-Michel Alimi · 1999