![](/img/cover-not-exists.png)
ATP-based Cross-Verification of Mizar Proofs: Method, Systems, and First Experiments
Josef Urban, Geoff SutcliffeVolume:
2
Language:
english
Pages:
21
DOI:
10.1007/s11786-008-0053-7
Date:
December, 2008
File:
PDF, 1.94 MB
english, 2008