当前位置:首页 > 名称
大约有20,000项符合查询结果项。(搜索耗时:0.0199秒)
为您推荐: 周四推理俱乐部 赠冰箱贴 周四推理俱乐部 死了七次的男人 周四推理俱乐部 内赠超值衍生剧本杀游戏 午夜文库 死了七次的男人 活了一百万次的猫
-
-
面向计算机科学的数理逻辑系统建模与推理 英文版·第2版
(英)胡思(Huth,M.)伦敦帝国学院(MICHAELHuth)著2005 年出版427 页ISBN:7111160533本书提供了与现代计算机科学以及实际应用相关的重要内容,并且更大程度地满足了上述两种需求。
-
-
-
-
-
-
-
-
学科分类