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