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

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

Logic Programming and Nonmonotonic Reasoning

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

Logic Programming and Nonmonotonic Reasoning

  • 作者:Chitta Baral,Gianluigi Greco,Nicola Leone,Giorgio Terracina
  • EISBN:9783540318279
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:2005

Logic Programming and Nonmonotonic Reasoning

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

Logic Programming and Nonmonotonic Reasoning

  • 作者:Georg Gottlob;Daniela Inclezan;Marco Maratea
  • EISBN:9783031157073
  • 出版社:Springer Nature
  • 出版时间:2022