Logical Foundations for Cognitive Agents

EISBN:9783642602115
PISBN:9783642643064
出版社:Springer Berlin Heidelberg
出版类型:Professional book
出版时间:1999
作者:Hector J. Levesque,Fiora Pirri
主题词:Artificial Intelligence (incl. Robotics),Mathematical Logic and Formal Languages,Mathematical Logic and Foundations,Complexity
语种:英语
所属数据库:SpringerLink电子图书
相关推荐

Logical Foundations for Cognitive Agents

  • 作者:Hector J. Levesque,Fiora Pirri
  • EISBN:9783642602115
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:1999

The Logical Foundations of Mathematics

  • 作者:Hatcher,William S.
  • PISBN:9780080258003
  • 出版时间:Legacy

Logical Foundations of Computer Science

  • 作者:Sergei Artemov;Anil Nerode
  • EISBN:9783030931001
  • 出版社:Springer Nature
  • 出版时间:2022

Logical Foundations of Computer Science

  • 作者:Sergei Artemov,Anil Nerode
  • EISBN:9783030367558
  • 出版社:Springer International Publishing
  • 出版时间:2020

Logical Foundations of Computer Science

  • 作者:Sergei Artemov,Anil Nerode
  • EISBN:9783319720562
  • 出版社:Springer International Publishing
  • 出版时间:2018

Logical Foundations of Computer Science

  • 作者:Sergei Artemov,Anil Nerode
  • EISBN:9783540926870
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:2009