一个命题逻辑机器证明专家系统的研究与开发

　
new

一个命题逻辑机器证明专家系统的研究与开发的英文翻译

基本释义

一个命题逻辑机器证明专家系统的研究与开发的相关资料：

临近单词

一斗 一 一种海浪干扰IIR数字滤波器的设计与仿真 一种海生超微型黄藻的色素蛋白复合体 一种海生黄藻的氨基酸和脂肪酸组成 一种海空背景下小信号的检测算法 一种海量地震资料采集质量管理系统 一种海面微波散射模式的迭代解 一种海面风场反演的快速风矢量搜索算法 一种浸渍燃料电池用石墨双极板的新方法 一种涂在指甲上使他们发亮的快干化妆漆 一种涂抹油或洗液
以上内容独家创作，受著作权保护，侵权必究

今日热词
相关词典网站：

牛津高阶第八版

美国韦氏词典

Dictionary.com

Free Dictionary

维基百科 (自由的百科全书)

目录 附录 查词历史