Design and implementation of Triform (DKS) Theories

Summary
Design of Triform (DKS) Theories (Specification/RNC Schema/Examples) and Implementation of Triform Theories in the MMT API
More information & hyperlinks
Web resources: https://www.ec.europa.eu/research/participants/documents/downloadPublic?documentIds=080166e5af4d5ff3&appId=PPGMS
Search
Search on Google
Search on Bing
Search on DuckDuckGo
Associated projects
Organisations
  • Not specified
Powered by Chris Decubber BV