The GF Mathematical Grammar Library

TitleThe GF Mathematical Grammar Library
Publication TypeConference Paper
Year of Publication2012
AuthorsCaprotti, O, Saludes, J
Conference NameConference on Intelligent Computer Mathematics /OpenMath Workshop
Edition2012
Date Published07/2012
KeywordsMGL, MOLTO dissemination
Refereed DesignationRefereed
AttachmentSize
gf-mgl.pdf219.79 KB
GF.matlib.xhtml10.01 KB