OPENET: Ontology-based engine for high-level Petri nets
Expert Systems with Applications: An International Journal
Hi-index | 0.00 |
The MathLang project aims at computerizing mathematical texts according to various degrees of formalisations, and without any prior commitment to a particular logical framework (e.g., having to choose either set theory or category theory or type theory, ...