Logic Programming and Nonmonotonic Reasoning

EISBN:9783540492825
PISBN:9783540594871
出版社:Springer Berlin Heidelberg
出版类型:Proceedings
出版时间:1995
作者:V. Wiktor Marek,Anil Nerode,M. Truszczyński
主题词:Artificial Intelligence (incl. Robotics),Mathematical Logic and Formal Languages,Programming Techniques,Mathematical Logic and Foundations
语种:英语
所属数据库:SpringerLink电子图书
相关推荐

Logic Programming and Nonmonotonic Reasoning

  • 作者:Esra Erdem,Fangzhen Lin,Torsten Schaub
  • EISBN:9783642042386
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:2009

Logic Programming and Nonmonotonic Reasoning

  • 作者:Vladimir Lifschitz,Ilkka Niemelä
  • EISBN:9783540246091
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:2004

Logic Programming and Nonmonotonic Reasoning

  • 作者:Michael Gelfond,Nicole Leone,Gerald Pfeifer
  • EISBN:9783540467670
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:1999

Logic Programming and Nonmonotonic Reasoning

  • 作者:Marcello Balduccini,Tomi Janhunen
  • EISBN:9783319616605
  • 出版社:Springer International Publishing
  • 出版时间:2017

Logic Programming and Nonmonotonic Reasoning

  • 作者:Vladimir Lifschitz,Ilkka Niemelä
  • EISBN:9783540246091
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:2004

Logic Programming and Nonmonotonic Reasoning

  • 作者:Pedro Cabalar,Tran Cao Son
  • EISBN:9783642405648
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:2013