排序方式: 共有1条查询结果,搜索用时 0 毫秒
1
1.
介绍了基于二阶项重写技术的机器发现逻辑理论及两个实验系统DI和ALP.同时举例说明了ALP系统的工作原理,展示了机器发现逻辑在数学发现(?)逻辑程序自动设计领域的应用前景。 相似文献
1