ATP and Presentation Service for Mizar Formalizations
SourceJournal of Automated Reasoning, 50, 2, (2013), pp. 229-241
Article / Letter to editor
Display more detailsDisplay less details
Journal of Automated Reasoning
Upload full text
Use your RU credentials (u/z-number and password) to log in with SURFconext to upload a file for processing by the repository team.