搜索【机器证明】的结果

2022-05-06 10:05:04 3.52MB 算法 big data 文档资料

Maple15和杨路教授机器证明软件完美配套版.part2

Maple15和杨路教授机器证明软件完美配套版.part2。。。。。。。。。。。。。。。

2021-12-21 11:06:39 191.19MB Maple15 杨路教授 机器证明 软件完美

1

Maple15和杨路教授机器证明软件完美配套版.part1

Maple15和杨路教授机器证明软件完美配套版.part1.。。。。。。。。。。。

2021-12-21 10:59:37 210MB Maple15 杨路教授 机器证明 软件

1

数理逻辑与机器证明(陆钟万)

本书介绍数理逻辑在机器证明中的应用，陈述简明扼要，是入门的好书！

2021-11-14 15:47:19 2.57MB 人工智能 机器证明

1