Search Results for "rules"
Sort By:
Symja - Java computer algebra language & symbolic math library
a DSL for type systems, reduction rules, interpreters for Xtext langs
KnowWE has moved, please see http://d3web.sourceforge.net