交互式定理证明与程序开发 Coq归纳构造演算的艺术

Coq是一个用于验证定理的证明是否正确的计算机工具。本书的主要目标是从实践的角度来理解Coq系统及其基本理论，即归纳构造演算。这本书给出了大量的例子，所有这些例子都可以在计算机上执行。...

股市艺术与财富 新投资理念的总结

本书以心得体会的形式，反映了作者对中国股市发展前景的看法，并对股市的投资理念提出了颇有见地的观点。

南京艺术学院 音乐学院2006年度科研总结 上

高等院校艺术设计“十二五”规划教材 现代归纳与装饰色彩

本书从提高学生的审美意识、设计思维和创造能力方面作为主导，结合现代归纳与装饰色彩教学改革和课题实践的体验，通过理论引导、素材搜集、创作步骤和范例评析，使学生在现代色彩理论和表现意识、技法训练上得到...

当代归纳逻辑探赜 论柯恩归纳逻辑的恰当性

发现几何 一种归纳的方法

速写 形态的归纳语言

速写是从事美术工作者基本功，全书介绍重构速写的线界，速写对形态空间转换与统一，综合速写线性解构同归纳等。

归纳逻辑 从古典向现代类型的演进

回归分析时演绎与归纳的两仪论

大家的日语 语法句型归纳

《大家的日语：语法句型归纳》一书，共分语法、句型和附录三篇。是学习《大家的日本语1.2》必要的语法辅导书，并可作为日语初学者的语法参考书。...