（日）折原一著2011 年出版299 页ISBN：9787513303828
★新本格派魔术师折原一代表作★“鲇川哲也与十三个谜”票选第一名★系列作品日本销量破百万★“倒错系列”第一弹N重逆转，绝对挑战脑神经！即使告诉你哪里......
（日）折原一著2012 年出版263 页ISBN：9787513304023
立志成为推理小说作家的山本安雄，为了应征某杂志社的推理新人奖而费尽心力地创作着，不料自己辛辛苦苦写出的手稿却被好友弄丢了，更难以置信的是，获奖作公开后，山本赫然发现，那竟然是自己丢失的作品。看着本应属.....
（日）折原一著；赵婧怡译2012 年出版325 页ISBN：9787513309196
本书为长篇小说。天井里藏着谁？性格古怪的老婆婆独自住在东京郊区一幢老旧的二层木造建筑里，神经兮兮的老人总觉得客厅的天井里趴着个男人，监视着她，并想要她的命。地板下面藏着谁？某日，一位不知从哪里来的孤身.....
王国俊著2003 年出版216 页ISBN：7030115791
本书分4部分，第一部分讲述与演算有密切关系的Boole代数理论，并以此为工具证明逻辑演算理论中的两个完备性定理；第二部分深入浅出地系统讲述命题演算与一阶谓词演算理论；第三部分清楚而严谨地讲述归结原理理论，给...
王国俊著2006 年出版258 页ISBN：7030165837
本书在第1版的基础上进行修订再版，内容可分为4部分。第1部分讲述了与逻辑演算有密切关系的Boole代数理论，并以此为工具证明逻辑演算理论中的两个完备性定理。第2部分深入浅出地系统讲述命题演算与一阶谓词演...
张家锋著2017 年出版175 页ISBN：9787564357351
基于格值逻辑系统的智能信息处理是人工智能的一个重要研究方向，能够对含有不可比较性信息进行有效地刻画； 而基于语言值的智能信息处理理论与方法，也是目前较为活跃的一个研究领域。本书在已有的基于经典逻辑...
