|
|
|
|
| LEADER |
00000cam a2200000 7i4500 |
| 001 |
0000087512 |
| 005 |
20160308093000.0 |
| 008 |
141112s2014 nyu eng |
| 020 |
|
|
|a 8132317513 (ebook)
|
| 020 |
|
|
|a 9781280266478 (ebook)
|
| 020 |
|
|
|a 9788132317517 (ebook)
|
| 050 |
0 |
0 |
|a QA76.63
|b .S29 2014
|
| 090 |
0 |
0 |
|a QA76.63
|b .S29 2014
|
| 100 |
1 |
|
|a Saxton, Liza ,
|e author
|
| 245 |
1 |
0 |
|a Logic programming [
|h electronic resource]
|c Liza Saxton
|
| 260 |
|
|
|a New York :
|b Learning Press ,
|c 2014
|
| 300 |
|
|
|a 1 online resource (83 p.)
|
| 505 |
0 |
|
|a 1. Introduction to logic programming -- 2. Prolog -- 3. Negation as failure and stable model semantics -- 4. Answer set programming and abductive logic programming -- 5. Constraint logic programming -- 6. Linear logic -- 7. Datalog -- 8. SLD resolution and cut (logic programming)
|
| 520 |
|
|
|a The book is an attempt to give you complete information and knowledge about logic programming
|
| 650 |
|
0 |
|a Logic programming
|
| 856 |
4 |
0 |
|3 World Technologies
|u http://ebooks.wtbooks.com/BookStore/search.do?searchTerm=9781280266478&optionValue=2&home=true&serachResultFilterOptions=B%2CA%2CJ%2CE&saveSearchParameters=true
|
| 999 |
|
|
|a 1000162785
|b Electronic Book
|c Electronic Resource
|e Gong Badak Campus
|