网站首页
词典首页
请输入您要查询的英文单词:
单词
theorem proving
释义
theorem proving1.■【人工智能】定理验证,定理证明
随便看
alar
Alarcón, Pedro Antoniode
Alarcón y Mendoza, Juan Ruiz de
a large choice of
a large order
a large ticket item
a large (或great) choice of
Alariaceae
Alaric
Alaric Ⅱ
alarm
alarm and despondency
alarm behavior
alarm bell
alarm call
alarm clock
alarmed at
alarmed for
alarm gauge
alarming
alarmism
alarmist
alarm post
alarm-radio
alarm reaction
红潮初上脸,未语两心知
绿树有阴休倦步,澄溪无滓濯尘缨
云冥冥,风凄凄
天高片帆远,目断青风徂
当时思大梁,还望已徘徊
报功厚载,祀事惟明
许身比稷契,不谓行当乖
阅遍会严方灌顶,焚香千古问毗卢
天光白毫际,山色钿螺边
逼面岩峦剑铦青,疏花奇树缀林坰
刁经臣将归南徐许予寻隐居之所及亡室坟地因
句
寒食夜
杂咏一百首婴臼
句
夜合资
转滙
纱灯
不劣方头
听言
英汉词典包含323790条英汉翻译词条,涵盖了常用英语单词及词组短语的翻译及用法,是英语学习的必备工具。
Copyright © 2000-2024 Suppus.net All Rights Reserved
更新时间:2025/3/12 18:04:44