ActiveMath example |
||
| <- -> |
Semantically encoding mathematics |
Dagstuhl Workshop on Rule Markup Languages, Paul Libbrecht, 2002/02/07 |
ActiveMath example |
||
| <- -> |
Semantically encoding mathematics |
Dagstuhl Workshop on Rule Markup Languages, Paul Libbrecht, 2002/02/07 |
