Results for « 述語論理 » (jpn)
06165364-n
述語論理
predicate calculus
,
functional calculus
個々を表わし断定する記号論理学、および個々における量化のシステム(提案の関係と同様に)
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.00273 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
>