Computation, Proof, Machine
Gilles Dowek, Pierre Guillot, Marion Roman
₹5,212
Author
Books by Gilles Dowek
Showing 1–3 of 3 books
Higher-Order Algebra, Logic, and Term Rewriting
Gilles Dowek, Jan Heering, Karl Meinke
₹5,586
Principles of Programming Languages
Gilles Dowek
₹2,965