The resolution calculus

• 作者： Leitsch, Alexander 1952-
• 其他題名：
  • Texts in theoretical computer science
• 出版： Berlin : Springer
• 叢書名： Texts in theoretical computer science
• 主題： Automatic theorem proving
• ISBN： 3540618821 :: US$45.95
• 資料類型: 圖書
• 內容註: Includes bibliographical references (p. [289]-293) and indexes
• More
• 讀者標籤：

  需登入
• 引用連結：

  Copy Link
• 目前引用數
• Share: