Results for « 谓词演算 » (cmn)
06165364-n
谓词演算
,
命题函项演算
,
命题 函项 演算
,
谓词 演算
predicate calculus
,
functional calculus
a system of symbolic logic that represents individuals and predicates and quantification over individuals (as well as the relations between propositions)
Langs:
英语
Indonesian
Malaysian
日语
汉语
Italian
Czech
Yue Chinese
More...
英语
Indonesian
Malaysian
日语
汉语
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.00279 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
>