gelernter

网络释义

1.	格兰特这是格兰特(Gelernter)在1959年发表的一篇论文中提出来的。他实际上是一种后推搜索法。 math168.com
2.	洛特 ...编写的“逻辑理论家” （LT）程序和1959年吉勒洛特（Gelernter）等人的几何定理证明机（Geometry Theorem-Proving Machi… www.wsncs.zjut.edu.cn

释义:

格兰特,洛特

随便看

英汉双解词典包含2704715条英汉词条，基本涵盖了全部常用单词的翻译及用法，是英语学习的有利工具。