A Proof Assistant for Higher-Order Logic
Nipkow, Tobias; Lawrence C Paulson; Wenzel, Markus
(Internet (in notebook)) (2002)
In Collection
#1243
0*
Notebook 
Product Details
Personal Details
Read It No
Location B7