AboutSign inJoin
Theorem Proving in Higher Order Logics

Theorem Proving in Higher Order Logics

Victor A. Carreño, César A. Muñoz, Sofiène Tahar — 2002

Deep cut – we couldn't find a description for this book.

Sign up to use