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

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

初中各科同步强化训练丛书 初一数学 【文化科学教育体育】

初中数学形成性测验与考试设计 【文化科学教育体育】

初中数学基础知识与例题分析 【数理化】

初中数学学习辅导与水平测试 【数理化】

首席教师专题小课本 初中数学 圆 【文化科学教育体育】

初中数学选择题解法与训练 【文化科学教育体育】

京津特级教师升学指导精华 初中数学 【文化科学教育体育】

全国初中数学教学调查与分析 【文化科学教育体育】

海淀题王 初中数学题解 三年级 【文化科学教育体育】