一阶逻辑表达的公理规格说明 specification in first-order logic-axioms 四平方和定理 lagrange's four-square theorem ..
基于4个网页-相关网页
specification in first-order logic-axioms
一阶逻辑公理中的规范
以上为机器翻译结果,长、整句建议使用 人工翻译 。
应用推荐
模块上移
模块下移
不移动