|
|
|
|
| LEADER |
00000cam a2200000 7i4500 |
| 001 |
0000087513 |
| 005 |
20160308093000.0 |
| 008 |
141112s2014 nyu eng |
| 020 |
|
|
|a 8132312872 (ebook)
|
| 020 |
|
|
|a 9781280168727 (ebook)
|
| 020 |
|
|
|a 9788132312871 (ebook)
|
| 050 |
0 |
0 |
|a QA76.63
|b .S56 2014
|
| 090 |
0 |
0 |
|a QA76.63
|b .S56 2014
|
| 100 |
1 |
|
|a Singleton, Velva ,
|e author
|
| 245 |
1 |
0 |
|a Logic programming & type theory [
|h electronic resource]
|c Velva Singleton, Liza Saxton
|
| 260 |
|
|
|a New York :
|b College Publishing House ,
|c 2014
|
| 300 |
|
|
|a 1 online resource
|
| 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. Introduction to type theory -- 8. Simply typed lambda calculus -- 9. Type polymorphism and type system -- 10. Algebraic data type and calculus of constructions -- 11. Composite data type and covariance and contravariance (computer science) -- 12. Liskov substitution principle and effect system -- 13. Nominative type system and structural type system -- 14. Option type and POPLmark challenge -- 15. Recursive data type and strong typing
|
| 520 |
|
|
|a This book is a complete package for knowledge sharing on logic programming & type theory
|
| 650 |
|
0 |
|a Logic programming
|
| 650 |
|
0 |
|a Type theory
|
| 700 |
1 |
|
|a Saxton, Liza ,
|e author
|
| 856 |
4 |
0 |
|3 World Technologies
|u http://ebooks.wtbooks.com/BookStore/search.do?searchTerm=9781280168727&optionValue=2&home=true&serachResultFilterOptions=&saveSearchParameters=true
|
| 999 |
|
|
|a 1000162786
|b Electronic Book
|c Electronic Resource
|e Gong Badak Campus
|