Logic in Computer Science Modelling and Reasoning about Systems 〔Second Edition〕
Michael Huth2004 年出版427 页ISBN:
Taming Intuition: How Reflection Minimizes Partisan Reasoning and Promotes Democratic Accountability
Kevin Arceneaux2017 年出版248 页ISBN:1108400312
The automation of reasoning : an experimenter's notebook with OTTER tutorial
Larry Wos1996 年出版434 页ISBN:0127634207
Lecture Notes in Artificial Intelligence 4130 Automated Reasoning Third International Joint Conferen
IJCAR 20062006 年出版680 页ISBN:3540371877