文件名称：Maude---LogicPrograming:莫德计划
文件大小：13KB
文件格式：ZIP
更新时间：2024-07-27 11:49:56
莫德 逻辑编程 - 基本的 Maude 程序
【文件预览】：
Maude---LogicPrograming-master
----2-Integers(2KB)
----10-OrdinaryTrees(3KB)
----4-Rational(4KB)
----11-Polinom(4KB)
----1-Calculator(803B)
----8-BinaryTrees(2KB)
----3-LIFO-FIFO(833B)
----9-BST(6KB)
----6-Permutations(2KB)
----7-Bits(1KB)
----README.md(52B)
----5-Sorting(2KB)
----12-DFA-NFA(2KB)
----13-Multisets(3KB)