Proceedings of the Eleventh Workshop on Logical Frameworks a
View on Open Library ↗

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

by

Rate this book:
2016

Buy This Book

Amazon → Bookshop.org Supports indie bookshops → Open Library Borrow Free to borrow →

As an Amazon Associate and Bookshop.org affiliate, BookOrb earns from qualifying purchases.

Know this book?

Help other readers discover this title by sharing your thoughts. Be the first to write a review.

Share Your Thoughts

Sign in to write a review.

More by Gilles Dowek

Age of Algorithms
Age of Algorithms
2020
Computation, proof, machine
Computation, proof, machine
2015
Introduction to the Theory of Programming Languages (Undergraduate Topics in Computer Science)
Introduction to the Theory of Programming Languages (Undergraduate Topics in Computer Science)
2010
Le temps des algorithmes
Le temps des algorithmes
2019
Les me tamorphoses du calcul
Les me tamorphoses du calcul
2007
Les métamorphoses du calcul
Les métamorphoses du calcul
2011

View all books by Gilles Dowek →