booktheque

Proceedings of the Eleventh Workshop on Logical Frameworks and Meta-Languages

Gilles Dowek · 2016

איפה לקנות

המחיר באמזון משתנה מדי יום, אז הכי נכון לראות אותו שם ברגע הקנייה.

לצפייה באמזון

פרטי הספר

שנה
2016
שפה
English
הוצאה
Association for Computing Machinery
מהדורות
1
ISBN
9781450347778

מקור הנתונים: Wikidata

עוד של Gilles Dowek

Computation, proof, machine
Gilles Dowek · 2015
Le temps des algorithmes
Gilles Dowek · 2019
Proofs and Algorithms
Gilles Dowek · 2011
Principles of programming languages
Gilles Dowek · 2009
Rewriting and Typed Lambda Calculi
Gilles Dowek · 2014
Introduction to the Theory of Programming Languages (Undergraduate Topics in Computer Science)
Gilles Dowek · 2010
Les me tamorphoses du calcul
Gilles Dowek · 2007
Peut-on croire les sondages?
Gilles Dowek · 2002
Voulez-vous jouer avec les maths ?
Gilles Dowek · 2002
La Logica
Gilles Dowek · 2002