扩展的三段论及自动推理

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

书籍排版装帧技术实用教程

目前，市场上广泛应用的排版软件是Adobe公司的PageMaker，但是由于技术原因，四年前，Adobe公司已经停止了对该软件的升级与开发，同时推出了新一代产品——InDesign 排版软件。该软件在功能上提升了很多，应用范围也更...

春天交响曲

华苑作文秀·小学卷。华苑快速作文体系是广西袁刚老师及其课题组1986年以来潜心研究与实验的结晶，华苑快速作文体系之所以备受全国各地媒体关注和专家、学者的赞扬，深受农村、城市广大师生及家长的欢迎，主要是...

第28个春天的卡布奇诺

《医坛春秋》是作者任济宁医学院附属医院院长和济宁医学院党委书记期间的部分工作纪录、会议纪要、讲话、议事规则以及部分干部员工发表在报刊杂志上的文章。本书内容丰富，是医院改革和医学人文教育的典型范...

冬天里的春天 上

当代著名作家李国文的代表作。小说以某大型军工厂动力厂党委书籍兼厂长于而龙回到阔别三十年的游击根据地查找暗杀自己妻子芦花的凶手为线索，通过他回故乡三天之中的经历，见闻、联想、回忆等的叙述，概括了近四...

冬天里的春天 下

当代著名作家李国文的代表作。小说以某大型军工厂动力厂党委书籍兼厂长于而龙回到阔别三十年的游击根据地查找暗杀自己妻子芦花的凶手为线索，通过他回故乡三天之中的经历，见闻、联想、回忆等的叙述，概括了近四...

燃烧的春天 大兴安岭林区职工朴火救灾英雄谱

一年四季 春天 汉英对照

春天到了，我們周遭的环境会有什么变化呢？ 就让《春天》带领小朋友一起体会吧！当代西班牙最著名的画家，以生动温馨的图画，配合简单优美的文字，告诉全世界的孩子们，春天这个季节有哪些特别的地方。此版为简装。...

是春天为我们开门的时候了：一个台湾诗人 心的秘密

日本在华侦探网