一种利用扩展广义表来实现逻辑表达式自动推导的算法
new
一种利用扩展广义表来实现逻辑表达式自动推导的算法的英文翻译
基本释义
Logical Expressions Automated Derivation Arithmetic of Based on the Extended Generalized List
一种利用扩展广义表来实现逻辑表达式自动推导的算法的相关资料:
临近单词
一
一个不应忘记的思想传统
目录
查词历史
英 汉