|
|
|
|
| LEADER |
00000cam a2200000 7i4500 |
| 001 |
0000087513 |
| 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
|
| 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
|