{{holding.name}}
ISBN: 9780720404999 出版年:2016 页码:419 Loveland, D W North Holland_RM
Automated Theorem Proving: A Logical Basis
{{comment.content}}