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