Urban, Josef - Department of Computer Science, University of Miami

Advanced Search

Browse by Discipline

Scientific Societies

E-print Network

FAQ • HELP • SITE MAP • CONTACT US

Powered by Explorit

Advanced Search

Urban, Josef - Department of Computer Science, University of Miami

MizarMode Integrated Proof Assistance Tools for the Mizar Way of Formalizing
ESFOR 2004 Preliminary Version MoMM Fast Interreduction and Retrieval in
Integrated semantic browsing of the Mizar Mathematical Library for authoring Mizar
Translating Mizar for First Order Theorem Provers
XMLizing Mizar: making semantic processing and presentation of MML easy

Website Policies/Important Links