Non-Monotonic Extensions of Logic Programming

EISBN:9783540492726
PISBN:9783540594673
出版社:Springer Berlin Heidelberg
出版类型:Proceedings
出版时间:1995
版次:1995
作者:Louis M. Pereira,Teodor C. Przymusinski
主题词:Computer Science,Computer System Implementation,Software Engineering,Programming and Operating Systems,Theory of Computation
语种:英语
相关推荐

Non-Monotonic Extensions of Logic Programming

  • 作者:Juergen Dix,Luis Moniz Pereira,Teodor C. Przymusinski
  • EISBN:9783540687023
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:1997

Non-Monotonic Extensions of Logic Programming

  • 作者:Jürgen Dix,Louis Moniz Pereira,Teodor C. Przymusinski
  • EISBN:9783540492726
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:1995

Non-Monotonic Extensions of Logic Programming

  • 作者:Jürgen Dix,Luís Moniz Pereira,Teodor C. Przymusinski
  • EISBN:9783540687023
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:1997

The Many Valued and Non-Monotonic Turn in Logic

  • 作者:Dov M. Gabbay,John Woods
  • PISBN:9780444516237
  • 出版时间:2007

Non-Monotonic Reasoning

  • 作者:M. Reinfrank,J. Kleer,M. L. Ginsberg,E. Sandewall
  • EISBN:9783540460732
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:1989

Non-Monotonic Reasoning

  • 作者:Michael Reinfrank,Johan de Kleer,Matthew L. Ginsberg,Erik Sandewall
  • EISBN:9783540460732
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:1989