作者同进也是Mace和Prover9的作者。
发表于2024-11-08
Automated Deduction in Equational Logic and Cubic Curves 2024 pdf epub mobi 电子书
图书标签: 数理逻辑
机器证明、模型建构、
本站所有内容均为互联网搜索引擎提供的公开搜索信息,本站不存储任何数据与内容,任何内容与数据均与本站无关,如有需要请联系相关搜索引擎包括但不限于百度,google,bing,sogou 等
友情链接
© 2024 onlinetoolsland.com All Rights Reserved. 本本书屋 版权所有