Results for « 補助定理 » (jpn)
06751833-n
(4)
補助定理
lemma
他の命題を証明するために真であると想定される補足的命題
Langs:
英語
Indonesian
Malaysian
日本語
Chinese (simplified)
Italian
Czech
Yue Chinese
More...
英語
Indonesian
Malaysian
日本語
Chinese (simplified)
Italian
Czech
Yue Chinese
More...
Preferences
Update Language Selection
Select All/None
Language Selection
Czech
Chinese (simplified)
English
Indonesian
Italian
Japanese
Yue Chinese
Malaysian
Update Language Selection
(0.00234 seconds)
More detail about the NTUMC+ Open Multilingual Wordnet (0.9)
This project is now integrated in the
Extended Open Multilingual Wordnet (0.9)
Maintainer:
Francis Bond
<
bond@ieee.org
>