Proofs and AlgorithmsGilles Dowek
Proofs and Algorithms
Gilles Dowek · 2011
איפה לקנות
בדקו את המחיר העדכני באמזון. אנחנו לא מציגים מחירים כי הם משתנים מדי יום.
לצפייה באמזוןקישור שותפים. בתור שותפים של Amazon אנחנו מרוויחים מרכישות מתאימות.
פרטי הספר
- שנה
- 2011
- שפה
- English
- סדרה
- Undergraduate Topics in Computer Science
- הוצאה
- Springer-Verlag London Limited
- מהדורות
- 1
- ISBN
- 9780857291202
מקור הנתונים: Wikidata
עוד של Gilles Dowek
Computation, proof, machineGilles Dowek
Computation, proof, machine
Gilles Dowek · 2015
Le temps des algorithmesGilles Dowek
Le temps des algorithmes
Gilles Dowek · 2019
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