BookSense
Listes de livres
Theorem Proving in Higher Order Logics
Theorem Proving in Higher Order Logics
de
Mark Aagaard
Première publication en 2007
Acheter sur Amazon
Partager
Livres comme Theorem Proving in Higher Order Logics