当前位置：首页 > 名称
大约有171,119项符合查询结果项。（搜索耗时：0.3076秒）
为您推荐： 1000mw超超临界机组调试技术丛书 1000mw超超临界二次再热机组调试与运行技术 超超临界机组调试技术丛书1000mw化学 1000mw超超临界机组调试技术丛书电气 660mw超超临界火力发电机组培训教材 集控运行1000mw超超临界机组发电技术丛书
-
-
-
-
-
-
-
-
临界的传递逻辑 模态逻辑的濒表格性问题探究
杜珊珊，康宏逵著2017 年出版244 页ISBN：9787030530813图书回顾了传递的濒表格逻辑的研究发展历史，叙述了传递的濒表格逻辑判据的证明、应用过程，试图解决传递逻辑的濒表格性的判据问题和大格的子格NExtQ4中濒表格逻辑族的基数、分类及公理化问题。本书可供从事模...
-
-
学科分类
出版时间