网站首页
词典首页
请输入您要查询的英文单词:
单词
gelernter
释义
gelernter
网络
格兰特;洛特
网络释义
1.
格兰特
这是
格兰特
(
Gelernter
)在1959年发表的一篇论文中提出来的。他实际上是一种后推搜索法。
math168.com
2.
洛特
...编写的“逻辑理论家” (LT)程序和1959年吉勒
洛特
(
Gelernter
)等人的几何定理证明机(Geometry Theorem-Proving Machi…
www.wsncs.zjut.edu.cn
例句
释义:
格兰特,洛特
随便看
defensively equipped merchant ship
defensive measure
defensive measures
defensive mechanism
defensive mechanisms
defensive medicine
defensive merger
defensive midfielder
defensive-minded
defensive minefield
defensive mining
defensive missile
defensive motivation
defensive move
defensive mutualism
defensiveness
defensive offensive
defensive open market operation
defensive operation mode
defensive patent
defensive pessimism
defensive play
defensive player
defensive portfolio
defensive position
英汉双解词典包含2704715条英汉词条,基本涵盖了全部常用单词的翻译及用法,是英语学习的有利工具。
Copyright © 2004-2022 Newdu.com All Rights Reserved
更新时间:2025/8/23 14:29:22