当前位置：首页 > 名称
大约有900项符合查询结果项。（搜索耗时：0.0095秒）
为您推荐： 网络安全协议 原理 结构与应用 可证明安全算法与协议 网络协议的形式化分析与设计 工业互联网安全体系理论与方法 安全协议形式化分析与验证 列车运行安全行为建模与形式化技术研究
-
-
-
-
-
-
-
-
-
-
逻辑与演绎科学方法论导论
（波兰）塔尔斯基著；周礼全，吴允曾，晏成书译1963 年出版234 页ISBN：9787100005203本书是著名的逻辑学家塔尔斯基对于现代数理逻辑进行了系统阐述的著作。
学科分类