走进中国科学院 郑千里通讯选

本书收录郑千里同志近4年来优秀通讯作品。

命案侦破的理论与实践

2004年，河南省信阳市荣获省厅授予的“全省命案侦破攻坚战先进单位”称号。本书将市公安局局长陈志中、副局长柏启传在攻坚战中形成的一系列重要论述集结成册，供全市各级公安机关和广大民警深入研读，用于指导侦...

与大师一起侦破谜案 3

寒冷的天气使吉尔默敦山谷中积满了深雪，山坡上布满了直冲云霄、遮天蔽日的密林，再往上是高耸的光秃秃的山，覆盖着皑皑白雪的岩崖屹立两侧。连接煤矿和铁矿区的火车像不堪重负的夜行人迟缓艰难地爬上陡峭的斜坡...

汉译佛典翻译文学选 上

本书是历代汉译佛典翻译文学的选集。内含佛传、本生经、譬喻经、因缘经、法句经、大乘经六部分。

少数民族文学评论选

本书精选了作者回忆自己成长历程的数篇散文，文字中中处处流露着作者对于外婆的怀念和自己童年生活的点滴。

中国传统文学经典选读 唐宋词选释 2

2003-2004年青春文学双年选

中国第一本文学双年选，历时半年，评选出21篇风格迥意的青春文学作品。全书收入了春树、小饭、李傻傻、蒋峰、徐则辰、顾湘、马牛、张佳玮、任晓雯、龙艳等21位青年作家的作品。...

书架上的历史 李振声文学批评选

本书是作者个人的文学评论专集，评论所涉及的文学作品和文学家所从事的创作的作品时间跨度较长，评论有深度，是一本有分量的评论集。

梅兰芳与马连良 黄宗江剧影文学选

本书收入著名剧作家黄宗江电影、戏剧文本“人间天上梅兰芳”、“千古绝唱马连良”等9篇。

智能程序助理侦破

本书中探索的问题是：1．经比较、筛选确定了求解必然真结论的逻辑程序的理论工具是T系统、S4系统的语义解释，检验工具是休斯子克雷斯韦尔语义图；2．由证确定了（前提与结论之间的）语义后承关系是求解推理式必然真结......