Melham and Juanito Camilleri, editors. Higher Order Logic Theorem (1994)

by F Thomas
Venue:Proving and Its Applications: 7th International Workshop, LNCS 859
Add To MetaCart
Results 1 - 1 of 1

From LCF to HOL: a short history

by Mike Gordon - Proof, Language, and Interaction , 2000
"... ..."
Abstract - Cited by 19 (0 self) - Add to MetaCart
Abstract not found