Computational logic logic programming and beyond : essays in honour of Robert A. Kowalski. part I / [electronic resource] :

• 其他作者：
  • Kakas, Antonis C.
  • Sadri, Fariba.
  • Kowalski, Robert.
  • SpringerLink (Online service)
• 出版： Berlin ;New York : Springer
• 叢書名： Lecture notes in computer science2407
• 主題： Kowalski, Robert. , Logic programming , Automatic theorem proving , Logic programming languages.
• ISBN： 9783540439592 (paper)
• FIND@SFXID: CGU
• 資料類型: 電子書
• More
• 讀者標籤：

  需登入
• 引用連結：

  Copy Link
• 目前引用數
• Share: