机译:连接驱动的归纳定理证明
Department of Computer Science Cornell-University;
Department of Computer Science Carnegie Mellon University;
Theorem Proving; Induction; Program Synthesis; Matrix Methods; Rippling;
机译:用依赖对和归纳定理证明终止
机译:使用归纳定理证明者对两个功能程序的等效性检查
机译:关于归纳定理证明的逻辑基础的一些观察
机译:利用符号计算来归因地证明几何定理及其对一般相对性研究的含义
机译:用实验数学猜想和证明定理在分配和可交换与非可交换递归理论中。
机译:自动合成流式细胞仪数据可视化的定理证明方法
机译:通过依赖对和归纳定理证明终止
机译:哪个定理证明。四种定理证明方法综述