many sorted predicate calculus

网络释义

1.	多种类谓词演算群论... ... 手控 manual control 多种类谓词演算 many sorted predicate calculus 多值解析函数 many-valued analytic function ... www.scientrans.com

随便看

英汉双解词典包含2704715条英汉词条，基本涵盖了全部常用单词的翻译及用法，是英语学习的有利工具。