更多详情

在线阅读

被引数量: 901

评价数量: 0

领域

Automated proof checking Proof complexity Automated theorem proving Model elimination Calculus Discrete mathematics Mathematics Logical basis

馆藏高校

{{holding.name}}

Automated Theorem Proving: A Logical Basis

ISBN: 9780720404999 出版年：2016 页码：419 Loveland, D W North Holland_RM

知识网络

知识图谱网络

内容简介

Automated Theorem Proving: A Logical Basis

Amazon评论

{{comment.person}}

{{comment.content}}

作品图片

推荐图书