扩展的三段论及自动推理

本专著详细论述了作者在亚里士多德三段论形式化研究和自动推理研究上取得的重大进展和创新性成果。

浙派语文教育论丛

本书是浙江师范大学汉语言文学师范专业教师多年来自觉开展富于浙江特色的语文教育研究及实践、探索“浙派”语文人才培养之路的一个成果汇编。主题为“浙派语文”，既包括有关语文教育的整体思考和理念表述，也...

绍派伤寒名家学术精要

绍派伤寒宗《内》《难》，法古人，匠心独运，别开生面，是中医地方流派的代表之一。本书汇集张景岳、陈士铎、章虚谷、俞根初、何秀山、周伯度、赵晴初、何廉臣、胡宝书、祝味菊、裘吉生、曹炳章、杨则民、徐荣斋等...

齐派传人李海峰百扇画集

本书反映了齐派传人李海峰最近几年的扇画力作，为广大书画爱好者提供了良好的学习机会。

法国巴比松风景画派

本书详尽的介绍了19世纪法国巴比松风景画派产生的时代背景、历史环境和巴比松画派画家的生平与创作，以及他们对法国风景画发展的意义和该画派在欧洲绘画史上的地位与作用。...

贝叶斯推理的心理学研究

本书介绍了贝叶斯推理的认知过程及所涉及到的数学规则，清晰梳理了贝叶斯推理的心理学研究进程。

非完美谋杀 侦探推理影视文学剧本选

本书勾画出人民警察打击新型犯罪的斗争场景。

日本获奖推理小说选 3

本书收录获得日本推理小说大奖（江户川乱步奖、日本推理小说协会将）作家的作品，小说推理严谨，题材新颖，想象力超群，是一部不可错过的好的推理佳作。...

世界最具推理性的侦破故事 3

世界最具推理性的侦破故事 2