DMCA

Theorem Proving in Higher Order Logics (2002)

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