Logic for computer scientists [electronic resource]

• 作者： Schoning, Uwe.
• 其他作者：
  • SpringerLink (Online service)
• 出版： Boston, MA : Birkhauser Boston
• 叢書名： Modern Birkhauser classics
• 主題： Logic, Symbolic and mathematical , Logic programming , Mathematical Logic and Foundations. , Computer science , Mathematical Logic and Formal Languages.
• ISBN： 9780817647636 (electronic bk.) 、 9780817647629 (paper)
• FIND@SFXID: CGU
• 資料類型: 電子書
• More
• 讀者標籤：

  需登入
• 引用連結：

  Copy Link
• 目前引用數
• Share: