Metrics
1 Record Views
- Title
- Automated reasoning and presentation support for formalizing mathematics in Mizar
- Creators
- J. UrbanG. SutcliffeS. Autexier
- Academic Unit
- College of A&S; A&S - Computer Science
- Language
- English
- Resource Type
- Other
- Record Identifier
- 991031718462602976