网站首页
词典首页
请输入您要查询的英文单词:
单词
backward production system for theorem proving
释义
backward production system for theorem proving
美
英
un.
定理证明用逆向产生式系统
英汉
un.
1.
定理证明用逆向产生式系统
例句
随便看
pesanteur
pesantren
pesantrens
pesar
pesaran
pes arcuatus
Pesaro
Pesaro e Urbino
pesavento
PESC
pesca
pescadero
pescado
pescador
Pescadores
Pescadores Islands
Pescaglia
pes calcaneus
pescante
Pescantina
pes-caprae
pescar
Pescara
Pescari
pescaru
英汉双解词典包含2704715条英汉词条,基本涵盖了全部常用单词的翻译及用法,是英语学习的有利工具。
Copyright © 2004-2022 Newdu.com All Rights Reserved
更新时间:2025/8/24 22:11:23