Loading...
Please wait, while we are loading the content...
Similar Documents
Answer set programming, an extension of Horn logic
| Content Provider | Scilit |
|---|---|
| Author | Marek, Victor W. |
| Copyright Year | 2009 |
| Description | Book Name: Introduction to Mathematics of Satisfiability |
| Related Links | https://content.taylorfrancis.com/books/download?dac=C2009-0-04218-1&isbn=9780429147456&format=googlePreviewPdf |
| Ending Page | 352 |
| Page Count | 18 |
| Starting Page | 335 |
| DOI | 10.1201/9781439801741-17 |
| Language | English |
| Publisher | Informa UK Limited |
| Publisher Date | 2009-09-22 |
| Access Restriction | Open |
| Subject Keyword | Book Name: Introduction To Mathematics of Satisfiability Literary Studies |
| Content Type | Text |
| Resource Type | Chapter |