机械化定理证明研究综述

Main
Mathematics - Computational Mathematics
机械化定理证明研究综述

机械化定理证明研究综述

江南, 李清安, 汪吕蒙, 张晓瞳, 何炎祥

0 / 0

Πόσο σας άρεσε αυτό το βιβλίο;

Ποια είναι η ποιότητα του ληφθέντος αρχείου;

Κατεβάστε το βιβλίο για να αξιολογήσετε την ποιότητά του

Ποια είναι η ποιότητα των ληφθέντων αρχείων;

Κατηγορίες:

Mathematics - Computational Mathematics

Αρχείο:

PDF, 567 KB

IPFS:

,

0

Διαβάστε online

Κατεβάστε (pdf, 567 KB)

Η μετατροπή σε βρίσκεται σε εξέλιξη

Η μετατροπή σε απέτυχε

Ίσως σας ενδιαφέρει

it-ebooks — 架构整洁之道

it-ebooks — 天津大学人工智能课件

孙宇熙 — 程序员生存手册：面试篇

Anyone — 南京大学软件学院复试问题汇总

X — 抽象眼光看编程

叶树江，刘海成主编 — 电子信息工程概论第2版

孙海泳 — 嵌入式操作系统的形式化验证方法研究

Mauro Gargano, Mark Hillebrand, Dirk Leinenbach, Wolfgang Paul (auth.), Joe Hurd, Tom Melham (eds.) — Theorem Proving in Higher Order Logics: 18th International Conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005. Proceedings

Klaus Schneider & Jens Brandt [Klaus Schneider & Jens Brandt] — LNCS 4732 - Theorem Proving in Higher Order Logics (Frontmatter Pages)

夏坤庄等著 — 深入解析SAS：数据处理、分析优化与商业应用 (数据分析技术丛书)

ePUBw.COM 孙宇熙 — 程序员生存手册：面试篇

付庄 — 机电控制技术导论

古天龙;董荣胜 — 计算机科学与技术方法论【文字版】

尼桑, 朔肯 — 计算机系统要素

李洪达 — 揭秘Java虚拟机：JVM设计原理与实现

Robert C. Martin — 架构整洁之道

陈宏铭，程玉华 — RISC-Ⅴ处理器与片上系统设计：基于FPGA与云平台的实验教程

(美)斯宾耐立思(Spinellis, D.), (美)郭西奥斯(Gousios, G.)编 — 架构之美

Diomidis Spinellis；Georgios Gousios；Toby Segaran；Jeff Hammerbacher [Hammerbacher, Diomidis Spinellis；Georgios Gousios；Toby Segaran；Jeff] — 程序之美系列：架构之美、数据之美

夏坤庄等著 — 深入解析SAS：数据处理、分析优化与商业应用 (数据分析技术丛书)

刘波文，张军，何勇编著 — FPGA嵌入式项目开发三位一体实战精讲

陆汉权 — 计算机科学基础（第2版）

孙宇聪 — 架构整洁之道

Φράσεις κλειδιά