Handbook of Temporal Reasoning in Artificial Intelligence

PISBN:9780444514936
出版时间:Pre 2007
作者:Michael Fisher,Dov M. Gabbav,Lluis Vila
主题词:Computer Science 1995 - 2006
语种:英语
所属数据库:Elsevier电子图书
相关推荐

Logic for Programming, Artificial Intelligence, and Reasoning

  • 作者:Moshe Y. Vardi,Andrei Voronkov
  • EISBN:9783540398134
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:2003

Logic for Programming, Artificial Intelligence, and Reasoning

  • 作者:Edmund M. Clarke,Andrei Voronkov
  • EISBN:9783642175114
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:2010

Logic for Programming, Artificial Intelligence, and Reasoning

  • 作者:Robert Nieuwenhuis,Andrei Voronkov
  • EISBN:9783540456537
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:2001

Tractable Reasoning in Artificial Intelligence

  • 作者:Marco Cadoli
  • EISBN:9783540494225
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:1995

Logic for Programming, Artificial Intelligence, and Reasoning

  • 作者:Iliano Cervesato,Helmut Veith,Andrei Voronkov
  • EISBN:9783540894391
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:2008

Logic for Programming, Artificial Intelligence, and Reasoning

  • 作者:Geoff Sutcliffe,Andrei Voronkov
  • EISBN:9783540316503
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:2005