当前位置:首页 > 名称
大约有8,000项符合查询结果项。(搜索耗时:0.0183秒)
为您推荐: 桥梁检测与加固技术 桥梁检测与维修加固 桥梁检测评定与加固技术 常见建筑结构加固与技术创新 古建筑木结构维护与加固技术规范 桥梁结构地震易损性分析理论与实践
-
-
半符号逻辑 传统逻辑与符号逻辑的桥梁
张霭珠著2004 年出版220 页ISBN:7309042379本书共分7章,探索构件的一种新的逻辑推理体系——半符号化推理演绎体系。该体系集形式逻辑和数理逻辑二者之所长,在保留形式逻辑推理、演绎直观性的前提下,借助数理逻辑的符号演算体系进行逻辑推理。...
-
-
-
-
-
-
-
-
