ℹ️
🇬🇧
Search
Search for publications relevant for "XML-izing"
XML-izing
Publication
Class
Person
Publication
Programmes
Export current view
publication
XML-izing Mizar: Making Semantic Processing and Presentation of MML Easy
2006 |
Faculty of Mathematics and Physics
publication
XML-izing Mizar: Making semantic processing and presentation of MML easy
2006 |
Publication without faculty affiliation
