(资料图)

最近大家都在讨论高阶逻辑辅助证明系统_关于高阶逻辑辅助证明系统简述相关的事情，对此小编也是非常的感应兴趣，那么这件事具体又是怎么回事呢？下面就是小编搜索到的关于高阶逻辑辅助证明系统_关于高阶逻辑辅助证明系统简述事件的相关信息，我们一起来看看吧！

小伙伴们，你们好，今天小夏来聊聊一篇关于高阶逻辑辅助证明系统，关于高阶逻辑辅助证明系统简述的文章,网友们对这件事情都比较关注，那么现在就为大家来简单介绍下，希望对各位小伙伴们有所帮助。

1、《高阶逻辑辅助证明系统》是2013年北京理工大学出版社出版的图书。

2、作者是托比亚斯·尼普科夫、劳伦斯·鲍尔森。

文章到此就分享结束，希望对大家有所帮助。

标签：