Sign in
Join Literal
Theorem Proving in Higher Order Logics
Victor A. Carreño
Want to read
Sign up to use
Victor A. Carreño
Theorem Proving in Higher Order Logics
Victor A. Carreño,
César A. Muñoz,
Sofiène Tahar
Want to read
Sign up to use
Want to read
Sign up to use
Overview
Reviews
Highlights
Editions
Deep cut – we couldn't find a description for this book.
Discover more books like Theorem Proving in Higher Order Logics