|
|
|
|
| LEADER |
00000cam a2200000 7i4500 |
| 001 |
0000073954 |
| 005 |
20190821093000.0 |
| 008 |
110616s2011 flu eng |
| 020 |
|
|
|a 1439829616 (hbk.)
|
| 020 |
|
|
|a 9781439829615 (hbk.)
|
| 050 |
0 |
0 |
|a QA76.63
|b .H58 2011
|
| 090 |
0 |
0 |
|a QA76.63
|b .H58 2011
|
| 100 |
1 |
|
|a Hitzler, Pascal ,
|e author
|
| 245 |
1 |
0 |
|a Mathematical aspects of logic programming semantics
|c Pascal Hitzler, Anthony Seda
|
| 260 |
|
|
|a Boca Raton :
|b Taylor & Francis Group ,
|c c2011
|
| 300 |
|
|
|a xxx, 274 p. ;
|c 25 cm.
|
| 504 |
|
|
|a Includes bibliography references (p. 243-264) and index
|
| 505 |
0 |
|
|a 1. Order and logic -- 2. The semantics of logic programs -- 3. Topology and logic programming -- 4. Fixed-point theory for generalized metric spaces -- 5. Supported model semantics -- 6. Stable and perfect model semantics -- 7. Logic programming and artificial neural networks -- 8. Final thoughts
|
| 650 |
|
0 |
|a Logic programming
|
| 650 |
|
0 |
|a Programming languages(Electronic computers)
|x Semantics
|
| 700 |
1 |
|
|a Seda, Anthony ,
|e author
|
| 999 |
|
|
|a 1000141468
|b Book
|c OPEN SHELF (30 DAYS)
|e Tembila Campus
|