Logic Programming and Nonmonotonic Reasoning

EISBN:9783540467670
PISBN:9783540667490
出版社:Springer Berlin Heidelberg
出版类型:Proceedings
出版时间:1999
版次:1999
作者:Michael Gelfond,Nicole Leone,Gerald Pfeifer
主题词:Computer Science,Software Engineering,Programming and Operating Systems,Theory of Computation,Mathematical Logic and Formal Languages,Programming Techniques
语种:英语
相关推荐

Logic Programming and Nonmonotonic Reasoning

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

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

  • 作者: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

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