The mathematical language AUTOMATH, its usage, and some of its extensions

Publisher Website
Google Scholar
Abstract
No abstract available