Logic Programming and Nonmonotonic Reasoning

EISBN:9783319616605
PISBN:9783319616599
出版社:Springer International Publishing
出版类型:Proceedings
出版时间:2017
版次:1st ed. 2017
作者:Marcello Balduccini,Tomi Janhunen
主题词:Artificial Intelligence (incl. Robotics),Logics and Meanings of Programs,Mathematical Logic and Formal Languages,Discrete Mathematics in Computer Science,Software Engineering,Programming Techniques
语种:英语
所属数据库: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,Nicola Leone,Gerald Pfeifer
  • EISBN:9783540467670
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:1999

Logic Programming and Nonmonotonic Reasoning

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

Logic Programming And Nonmonotonic Reasoning

  • 作者:Jürgen Dix,Ulrich Furbach,Anil Nerode
  • EISBN:9783540692492
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:1997

Logic Programming and Nonmonotonic Reasoning

  • 作者:V. Wiktor Marek,Anil Nerode,M. Truszczyński
  • EISBN:9783540492825
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:1995