请输入您要查询的字词：
编者注：本词条为中国台湾地区学术名词用语，仅供参考。
单词
基于规则系统的定理证明
释义
theorem proving by rule based system
基于规则系统的定理证明
电子计算机名词
随便看
Zweers, Bernard
Zweiaktiges Delikt
Zweibrucken
Zweig
zweigestrichene Oktave {Ger.}
Zweig, George
Zweig rule
zweikanter
Zweisimmen
zwei Stimmen {Ger.}
zweiteilige Form {Ger.}
zweites Thema {Ger.}
zweite Umkehrung {Ger.}
Zweiunddreissigstelnote {Ger.}
Zweiunddreissigstelpause {Ger.}
Zweivierteltakt {Ger.}
Zweizweiteltakt {Ger.}
zweizähliger Takt {Ger.}
Zwerchfell {Ger.}
zwetschgen-wasser
Zwickau
Zwickau law
Zwieselite
zwieselite
Zwilich, Ellen Taaffe
科学时代收录了3405121条科普词条，基本涵盖了常见科普常识及英语词汇的翻译，是科学学习和研究的有利工具。
Copyright © 2000-2023 Sciera.cn All Rights Reserved
京ICP备2021023879号
更新时间：2024/12/23 7:50:06