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}}

作品图片
推荐图书