Studies in mechanical verification of mathematical proofs
Contains fulltext : 18727_studinmev.pdf (Publisher’s version ) (Open Access)
Networked Digital Library of Theses and Dissertations