高次逻辑中的定理证明 Theorem proving in higher order logics 2024 pdf epub mobi 电子书
简体网页||繁体网页
高次逻辑中的定理证明 Theorem proving in higher order logics 2024 pdf epub mobi 电子书 著者简介
高次逻辑中的定理证明 Theorem proving in higher order logics 电子书 图书目录
点击这里下载
发表于2024-11-25
高次逻辑中的定理证明 Theorem proving in higher order logics 2024 pdf epub mobi 电子书
高次逻辑中的定理证明 Theorem proving in higher order logics 2024 pdf epub mobi 电子书
高次逻辑中的定理证明 Theorem proving in higher order logics 2024 pdf epub mobi 电子书
喜欢 高次逻辑中的定理证明 Theorem proving in higher order logics 电子书 的读者还喜欢
高次逻辑中的定理证明 Theorem proving in higher order logics 电子书 读后感
图书标签:
高次逻辑中的定理证明 Theorem proving in higher order logics 2024 pdf epub mobi 电子书 图书描述
在线阅读本书
This book constitutes the refereed proceedings of the 15th International Conference on Theorem Proving in Higher Order Logics, TPHOLs 2002, held in Hampton, VA, USA in August 2002.The 20 revised full papers presented together with 2 invited contributions were carefully reviewed and selected from 34 submissions. All current issues in HOL theorem proving and formal verification of software and hardware systems are addressed. Among the HOL theorem proving systems evaluated are Isabelle/HOL, Isabelle/Isar, and Coq.
length: (cm)23.3 width:(cm)15.4
高次逻辑中的定理证明 Theorem proving in higher order logics 2024 pdf epub mobi 电子书
高次逻辑中的定理证明 Theorem proving in higher order logics 2024 pdf epub mobi 用户评价
高次逻辑中的定理证明 Theorem proving in higher order logics 2024 pdf epub mobi 电子书
分享链接
高次逻辑中的定理证明 Theorem proving in higher order logics 2024 pdf epub mobi 电子书 下载链接
相关图书
-
英语应试作文的奥秘 2024 pdf epub mobi 电子书 -
Euro-Par 2002. - 并行处理/会议录Euro-Par 2002, parallel processing 2024 pdf epub mobi 电子书
-
上班族的心态 2024 pdf epub mobi 电子书
-
高性能计算/会议录 High performance computing 2024 pdf epub mobi 电子书
-
三分管人七分用人 2024 pdf epub mobi 电子书
-
泛计算 Pervasive computing 2024 pdf epub mobi 电子书
-
机动车辆保险与理赔实务 2024 pdf epub mobi 电子书
-
流沙 2024 pdf epub mobi 电子书
-
触诊诊断学 2024 pdf epub mobi 电子书
-
软件生产线/会议录Software product lines 2024 pdf epub mobi 电子书
-
DNA计算/会议录/DNA computing 2024 pdf epub mobi 电子书
-
SPA芳香疗法 2024 pdf epub mobi 电子书
-
TMS320F2812原理与开发 2024 pdf epub mobi 电子书
-
文献分析系统V／会议录Document analysis systems V 2024 pdf epub mobi 电子书
-
智能数据工程与自动化学习2002年国际会议录Intelligent data engineering and automated learning 2024 pdf epub mobi 电子书
-
汽车新技术 2024 pdf epub mobi 电子书
-
计算机辅助验证 Computer aided verification 2024 pdf epub mobi 电子书
-
Abstraction, Reformulation, and Approximation: 5th International Symposium, SARA 2002, Kananaskis, A 2024 pdf epub mobi 电子书
-
Flash MX2004商业动画原动力(附光盘) (平装) 2024 pdf epub mobi 电子书
-
约束程序设计原理与实践 CP2002Principles and practice of constraint programming-CP2002 2024 pdf epub mobi 电子书
