Reactive Kripke semantics [electronic resource]

• 作者： Gabbay, Dov M.
• 其他作者：
  • SpringerLink (Online service)
• 其他題名：
  • Cognitive technologies.
• 出版： Berlin, Heidelberg : Springer Berlin Heidelberg :Imprint: Springer
• 叢書名： Cognitive technologies,
• 主題： Computer science. , Logic. , Artificial intelligence. , Logic, Symbolic and mathematical. , Computer Science. , Mathematical Logic and Formal Languages. , Artificial Intelligence (incl. Robotics) , Mathematical Logic and Foundations. , Logic.
• ISBN： 9783642413896 (electronic bk.) 、 9783642413889 (paper)
• FIND@SFXID: CGU
• 資料類型: 電子書
• More
• 讀者標籤：

  需登入
• 引用連結：

  Copy Link
• 目前引用數
• Share: