From Semantics to Computer Science
Yves Bertot, Gérard Huet, Jean-Jacques Lévy
₹4,169
Author
Books by Yves Bertot
Showing 1–2 of 2 books
Theorem Proving in Higher Order Logics
Yves Bertot, Gilles Dowek, Andre Hirschowitz
₹5,561
Author
Showing 1–2 of 2 books
Yves Bertot, Gérard Huet, Jean-Jacques Lévy
₹4,169
Yves Bertot, Gilles Dowek, Andre Hirschowitz
₹5,561