当前位置:首页 > 名称
大约有357,034项符合查询结果项。(搜索耗时:0.5003秒)
为您推荐: 现代机构学理论与应用研究进展 线性系统理论及其应用 评估理论和方法及其军事应用 最优估计理论及其在导航中应用 gnss精密单点定位理论方法及其应用 正版图书 多传感器 优估计理论及其应用
-
-
-
-
-
-
-
-
现代逻辑若干问题研究
李娜编著2000 年出版186 页ISBN:7810417495国家社会科学出版基金资助项目河南大学学术著作和教材出版基金资助:本书通过建立一阶算术系统PQC以及其他一些方法来证明歌德尔不完全性定理的成立。还论述了关于公理集合论的研究成果。...
-
范畴类型逻辑及其在汉语反身代词回指照应中的应用
贾青著2015 年出版186 页ISBN:9787516159521范畴类型逻辑是当代自然语言逻辑中的一个重要分支,其使用逻辑学中的方法,甚至数学中的方法为自然语言问题的解决提供一条形式化的解决路径。当下范畴类型逻辑中主要有传统的范畴类型逻辑、多模态的范畴类型逻...
-
中国民法现代化的理论逻辑 以内容体系评价标准与目标模式为视角
伍治良主编2013 年出版340 页ISBN:9787511831767本书为《南湖法学文库》之一。本书以民法现代化为研究对象,以民法现代化的内容体系、评价标准以及目标模式为视角,并具体分析了民法基本原则现代化、民法制度现代化和民法形式现代化等内容。...
学科分类
出版时间