高阶逻辑辅助证明系统(精)

作者: 托比亚斯•尼普科夫
出版社: 北京理工大学出版社版次：第1版
语言: 简体中文
装帧: 精装
ISBN: 9787564077631
重量: 458 g
电子书格式: epub,pdf,txt,azw3,mobi,fb2,djvu
下载次数: 5912
更新日期: 2023-07-02

本书分基本技巧、逻辑与集合、高级材料三部分，内容包括：基础、HOL中的函数编程、高级函数式编程、游戏规则、集合递归定义等。

高阶逻辑辅助证明系统(精) EPUB, PDF, TXT, AZW3, MOBI, FB2, DjVu, Kindle电子书免费下载。

《高阶逻辑辅助证明系统(精)》电子书免费下载

epub下载 pdf下载 txt下载 azw3下载 mobi下载 fb2下载 djvu下载