数学机械化丛书

交互式马尔可夫链：并发系统的设计、验证与评价吴尽昭科学出版社 PDF电子教材 PDF电子书大学教材电子版电子课本网盘下载【高清非扫描版】

数学

交互式马尔可夫链：并发系统的设计、验证与评价吴尽昭科学出版社 PDF电子教材 PDF电子书大学教材电子版电子课本网盘下载【高清非扫描版】

10.18K
40

几何定理机器证明的几何不变量方法张景中科学出版社 PDF电子教材 PDF电子书大学教材电子版电子课本网盘下载（价值128元）【高清非扫描版】

数学

几何定理机器证明的几何不变量方法张景中科学出版社 PDF电子教材 PDF电子书大学教材电子版电子课本网盘下载（价值128元）【高清非扫描版】

11.8K
40

公理化集合论机器证明系统郁文生科学出版社 PDF电子教材 PDF电子书大学教材电子版电子课本网盘下载（价值128元）【高清非扫描版】（2019年）

数学

公理化集合论机器证明系统郁文生科学出版社 PDF电子教材 PDF电子书大学教材电子版电子课本网盘下载（价值128元）【高清非扫描版】（2019年）

13.33K
40

分析基础机器证明系统郁文生科学出版社 PDF电子教材 PDF电子书大学教材电子版电子课本网盘下载（价值198元）【高清非扫描版】（2022年）

数学

分析基础机器证明系统郁文生科学出版社 PDF电子教材 PDF电子书大学教材电子版电子课本网盘下载（价值198元）【高清非扫描版】（2022年）

13.11K
80

不等式机器证明与自动发现杨路科学出版社 PDF电子教材 PDF电子书大学教材电子版电子课本网盘下载【高清非扫描版】

数学

不等式机器证明与自动发现杨路科学出版社 PDF电子教材 PDF电子书大学教材电子版电子课本网盘下载【高清非扫描版】

13.99K
20

数学机械化吴文俊科学出版社 PDF电子教材 PDF电子书大学教材电子版电子课本网盘下载【高清非扫描版】

数学

数学机械化吴文俊科学出版社 PDF电子教材 PDF电子书大学教材电子版电子课本网盘下载【高清非扫描版】

15.85K
20