coq's art interactive theorem proving and program development

Name: coq's art interactive theorem proving and program development
Rating: 4.5 (41 reviews)
Author: u854157761

上传者：u854157761 2020-06-08 18:00:48上传 PDF文件 2.38MB 热度 41次

coq'sartinteractivetheoremprovingandprogramdevelopment

下载地址

用户评论

更多下载

下载地址

立即下载

用户评论

: 码姐姐匿名网友 2020-06-08 18:00:48

coq在类型系统的研究中使用越来越广泛，这本书几乎是目前唯一的专门介绍coq的书，十分有用

coq s art interactive theorem proving and program development

coq'sartinteractivetheoremprovingandprogramdevelop...

大小：0B | 2020-06-08 18:00:48
Interactive Theorem Proving and Program Development

关于人机交互式定理证明工具Coq的权威书籍，包括系统介绍、系统的理论基础以及递归式构造演算。

大小：0B | 2018-12-11 05:04:00
Interactive加Theorem加Proving加and加Program加Development.

Interactive+Theorem+Proving+and+Program+Developmen...

大小：0B | 2020-06-19 18:44:29
Automated Theorem Proving

MaterialforthecourseAutomatedTheoremProvingatCarne...

大小：0B | 2019-09-25 14:34:41
The Complexity of Theorem Proving Procedures

It is shown that any recognition problem solved by...

大小：110KB | 2021-04-20 00:06:32
Art of Coq

ClassicbookofCoqproofsystem

大小：0B | 2019-07-23 02:10:07
First order logic and automated theorem proving

这是关于一阶逻辑的电子书,高清,最新版本,经典著作,英文版

大小：27.25MB | 2020-09-20 22:34:27
自动定理证明Automated Theorem Proving

使学生对自动定理证明中的核心技术有透彻的了解，使他们能够将方法转移到不同的逻辑或应用程序中。

大小：0B | 2020-05-30 16:44:28
Automated Theorem Proving自动定理证明讲义

CMU大牛Frank Pfenning所写,包括自然归纳,序列积分等内容。

大小：586KB | 2020-09-20 19:13:36
coq exercises SSReflect、Coq'Art与CPDT的深入探索

《Coq课程练习：基于SSReflect、Coq'Art和CPDT》在这个项目中，我们关注的是Coq...

大小：20.37KB | 2024-10-29 10:20:00
The art of ECC including program

这本书以前传过，当时无法下载程序，现在可以下载配套程序了，一起发上来。

大小：0B | 2018-12-25 12:26:23
Program Development in Java

一本讲Java软件架构的的书，很不错。里面主要讲如何写出规范标准的软件，以Java为实例。

大小：0B | 2019-09-21 12:36:14
The_Art_of_Computer_Program1

The_Art_of_Computer_Program计算机编程艺术

大小：0B | 2019-09-13 22:55:53
The_Art_of_Computer_Program2

The_Art_of_Computer_Program2计算机编程技术

大小：0B | 2019-09-13 22:56:03
The Art of Computer Program_english

Donald E. Knuth是斯坦福大学计算机科学系的荣誉退休教授，算法和程序设计技术的先驱者。1...

大小：0B | 2018-12-25 12:26:12
Demo program for symbin development

Itisasimplesymbianproject,andithavesomeproblem,Iup...

大小：0B | 2019-09-27 16:36:26