Rewards
网页
图片
视频
学术
词典
地图
更多
航班
我的必应
笔记本
勃朗基
例句
释义:
全部
全部
类别:
全部
全部
,
口语
口语
,
书面语
书面语
,
标题
标题
,
技术
技术
来源:
全部
全部
,
字典
字典
,
网络
网络
难度:
全部
全部
,
简单
简单
,
中等
中等
,
难
难
更多例句筛选
收起例句筛选
1.
A
member
of
the Herbrand base
is
called
atom
in
automatic
theorem
proving
.
在
自动
定理
证明
中
,
海尔
勃
朗
基
的
成员
也
称为
原子
。
www.bing.com