上一篇：砌体结构理论与设计下一篇：江山多娇 第六期 桂林
《倒错的归结》目录
标签：归结
序章——这个世界之外 1
上吊之岛 11
第一章 密室传说 13
第二章 密室的雪 63
第三章 密室之花 126
第四章 上吊者的密室 183
第五章 密室的行者 214
监禁者 251
序章 253
第一章 昏暗的房间 258
第二章 虚构的密室 314
第三章 逃跑 363
尾声 403
倒错的归结 413
解说的归结 山本安雄 433
相关图书
- 《基于格值逻辑的语义归结自动推理》张家锋著 2017
- 《数理逻辑引论与归结原理》王国俊著 2003
- 《数理逻辑引论与归结原理》王国俊著 2006
- 《倒错的归结》（日）折原一著；曲扬译 2012
- 《基于归结方法的自动推理》刘叙华著 1994
作者其它书籍
出版社其它书籍
- 《中国十大出版家》王震，贺越明著 1991
- 《近代民营出版机构的英语函授教育 以“商务、中华、开明”函授学校为个案 1915年-1946年版》丁伟 2017
- 《国之重器出版工程 云化虚拟现实技术与应用》熊华平 2019
- 《新闻出版博物馆 总第33期》新闻出版博物馆 2018
- 《哈佛出版史》董唯责编；李广良，张琛译者；（美）马克斯·豪尔 2019
- 《新时代期刊编辑出版的理论与实践》吴厚庆 2019
- 《上海市订购苏联情报出版物联合目录与索引 1983》上海科学技术情报研究所 1983
- 《中国骨干旅游高职院校教材编写出版项目 中国饮食文化》邵万宽 2016
- 《出版词典》《出版词典》（修订本）编委会编 2014
- 《晚明士人与商业出版》何朝晖著 2019