NAER 用語検索
繁体字中国語専門用語集：収録データ件数2,036,299件繁体字中国語専門用語集：2,036,299件
「定理」の検索結果: 合計27件（8グループ） 第1ページ（8グループ）
| 英語 | 繁体字中国語 | データセット | |||||||||||||||||||||||||||||||||||||||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| axiom | 原則；原理；定理 | 電機工程名詞 | |||||||||||||||||||||||||||||||||||||||||||||||||||
| theorem | 定理 | 化學工程名詞 | |||||||||||||||||||||||||||||||||||||||||||||||||||
同じ英語のほか17件を表示（18データセット）同じ英語のデータをたたむ
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||
| theorem machine | 定理機 | 電子計算機名詞 | |||||||||||||||||||||||||||||||||||||||||||||||||||
| theorem prover | 定理證明程式 | 電子計算機名詞 | |||||||||||||||||||||||||||||||||||||||||||||||||||
| theorem proving | 定理證明 | 電子計算機名詞 | |||||||||||||||||||||||||||||||||||||||||||||||||||
同じ英語のほか2件を表示（2データセット）同じ英語のデータをたたむ
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||
| theorem proving machine | 定理証明機 | 電子計算機名詞 | |||||||||||||||||||||||||||||||||||||||||||||||||||
| theorem proving system | 定理証明系統 | 電子計算機名詞 | |||||||||||||||||||||||||||||||||||||||||||||||||||
| theorem schema | 定理型 | 數學名詞 | |||||||||||||||||||||||||||||||||||||||||||||||||||