Sign in
Join Literal
Authors
Author
Victor A. Carreño
Books
Theorem Proving in Higher Order Logics
Victor A. Carreño, César A. Muñoz, Sofiène Tahar