经典好书《面向计算机科学的数理逻辑系统建模与推理》读书内容简介:的规约与验证等方面有着广泛的应用。随着当今软硬件产品日趋复杂，数理逻辑已经成为越来越多设计开发人员的日常工具。 本书适合作为高等院校计算机及相关专业的数理逻辑/形式化方法课程教材，涵盖了命题逻辑，谓词逻辑、模态逻辑与 Agent、...详情

经典好书《圖靈密碼 上》读书内容简介:了。很顯然，他這個CEO是個代罪羔羊。公司負債十幾億，員工全數遣散，正當天和想盡力保住公司，卻一籌莫展之際，父親及其好友共同研發出的AI──普羅米修斯，現「聲」了！這個與他前男友有...详情

经典好书《科学革命的结构》读书内容简介:1922—1996）， 美国物理学家、科学哲学家、科学史家，被誉为“二战后最具影响力的一位以英文写作的哲学家”（理查德·罗蒂语）。库恩于1949年获物理学博士，后执教于加州大学、麻省理工学院等，任麻省理工学院语言学哲学劳伦斯·洛克菲勒名...详情

经典好书《閃靈2人組19》读书内容简介: 閃靈2人組接到了奪回夢幻葡萄酒「MARINE RED」的委託！但是目標物卻被自稱布拉德上尉的神秘男子搶走了！作者简介详情

经典好书《通靈童子06》读书内容简介: 作者简介详情

经典好书《靈異教師神眉01》读书内容简介: 有點脫線的神眉，是個擁有收妖除魔能力的好老師，在保護學生的時候會發揮無比的力量，任何妖魔鬼怪都逃不了…！作者简介详情

经典好书《天師執位4 照靈》读书内容简介:聶行風的一句「爺爺想見你」之下，張玄更是不敢說不。只是……「疼！董事長，你不能溫柔一點兒嗎？」「閉嘴！」嗚嗚……連人都任你擺佈了，就不能把領帶束鬆一點嗎？什麼？招財貓殺人了？</p...详情

经典好书《貓科男友的逗弄方法》读书内容简介:。某個早晨，再度化為貓咪的他，與命中注定的男人相遇了 !!對方正是在初次見面時，就能用一根手指撫摸到讓九重發出呼嚕叫聲的夏目！不擅控制貓咪變身的九重，雖然努力對抗夏目的超絕撫技，但是……!?超絕...详情

经典好书《閃靈2人組07》读书内容简介: 閃靈2人組這次將展開無限城「IL」的奪回作戰。帶著對背判者「猶大」的不安，奪還小組終於來到了馬克貝斯跟「IL」所在的「黃泉之底」。而以地下廢墟為舞臺，最強的決戰終於要展開序幕了！作者简介详情

经典好书《靈感商法公司 1》读书内容简介:杂志“苹果神秘”（アップルミステリー）(主妇和生活公司系列出版)初期刊登的作品。第一次刊登在1988年主妇和生活公司的《恐怖聚会 Vol.1》（ホラーパーティー　Vol.1）。 到现在发行了15卷，但因为刊载杂志停刊而没完成，至今仍尚未复刊。1991...详情