Browsing by Subject module systems, Mei, mechanized, mathematics systems, functors,
Showing results 1 to 1 of 1
Publication Date | Title | Author(s) |
---|---|---|
Jan-2008 | Mei-A Module System for Mechanized Mathematics Systems | Xu, Jian |
Showing results 1 to 1 of 1