Search from the table of contents of 2.5 million books
Advanced Search (Beta)

Logic in Databases: International Workshop LID ' 96, San Miniato, Italy, July 1 - 2, 1996. Proceedings |
Springer Berlin Heidelberg
Logic in Databases: International Workshop LID ' 96, San Miniato, Italy, July 1 - 2, 1996. Proceedings

Stable model checking for disjunctive logic programs
Authors

ARI Id

1664760651409_3106032

Access

Not Available Free

Pages

265-278

DOI

10.1007/BFb0031746

Chapter URL

https://rd.springer.com/chapter/10.1007/BFb0031746

Loading...
Table of Contents of Book
Chapters/HeadingsAuthor(s)PagesInfo
Loading...
Chapters/HeadingsAuthor(s)PagesInfo
Similar Books
Loading...
Similar Chapters
Loading...
Similar Thesis
Loading...

Similar News

Loading...
Similar Articles
Loading...
Similar Article Headings
Loading...