本卷收录了吴文俊的MechanicalTheoremProvinginGeometries:BasicPrinciples一书.书中论述初等几何机器证明的基本原理,证明了奠基于各种公理系统的各种初等几何,只需相当于乘法交换律的某一公理成立,大都可以机械化.因此在理论上,这些几何的定理证明可以借肋于计算机来实施.可以机械化的几何包括…
…
本书系《协和手术要点难点及对策丛书》之一，全书共8章。内容包括神经外科各主要手术，基本按照适应证、忌证、术前准备、手术要点难点及对策、术后监测与处理、术后常见并发症的预防与处理的顺序予以介绍，很后对该手术的临床效果给出评价。临床上，外科医生的主要“武器”是手术，而手术成功的…
《蔬菜盆栽》为是一本适合我们自己家居的“栽培箱种菜”书。《蔬菜盆栽》介绍了用栽培箱培育的28种幸福蔬菜，有像西红柿一样的果类蔬菜、还有我们每天食用的茎叶菜、平日常备的根类菜、及方便调味的佐料香草。同时《蔬菜盆栽》还介绍了栽培蔬菜盆栽的基本方法，栽培前的准备，可以让蔬菜健康…
自古以来，绿色植物一直在默默地改善和美化着人类的生活环境。它不仅能净化空气、吸收有害气体、美化室内环境，还有愉悦身心的作用，而且还能给人一种时尚品位。 为了让花卉爱好者选择适合自己感兴趣的观叶植物，培育出一盆称心如意的绿饰植物，《室内观叶植物种植摆放指南》精选了193种观…
本套丛书精选多道标准数独题、变型数独题，同时集成中国数独段位考试、中国数独锦标赛、世界数独锦标赛的相关赛题，根据难易程度进行分类，使读者不仅能够感受到挑战赛题的乐趣，同时也能了解到自己的数独水平。国内首次将多届比赛题目进行整合的探索尝试…
《黄冈小状元假期作业》是《黄冈小状元》系列的同步练习类产品，包括寒假作业和暑假作业。是《黄冈小状元作业本》延续到寒、暑假假期中的作业本，是学生在假期中温习功课，积累知识的*辅导。…
