predicate calculus

維基詞典,自由的多語言詞典
跳转到: 导航, 搜索
  • 简体: 谓词演算[信息科技]
  • 正體: 述詞演算[計算機]
  • 正體: 述詞演算[電子計算機]
个人工具
名字空间

不转换

变换
操作
导航
帮助
工具箱
其它语言