|
|
|
|
| LEADER |
00000cam a2200000 7i4500 |
| 001 |
0000020515 |
| 008 |
021119n |
| 020 |
|
|
|a 0137700091
|
| 090 |
0 |
0 |
|a QA76.63
|b .L3515 1993
|
| 100 |
0 |
|
|a Lalement, Rene
|e author
|
| 240 |
0 |
0 |
|a Logic, reduction, resolution
|l [English]
|
| 245 |
0 |
0 |
|a Computation as logic
|c Rene Lalement
|f translated by John Plaice
|
| 260 |
2 |
|
|a London
|b Prentice Hall ; Paris
|b Masson
|c 1993
|
| 300 |
|
|
|a xi, 387 p. ;
|c 25 cm.
|
| 440 |
0 |
0 |
|a Prentice Hall International series in computer science
|
| 650 |
|
0 |
|a Functional programming (Computer science)
|
| 650 |
|
0 |
|a Logic programming
|
| 650 |
|
0 |
|a Logic, Symbolic and mathematical
|
| 999 |
|
|
|a 1000016163
|b Book
|c Close Access
|e Tembila Campus
|
| 999 |
|
|
|a 1000071908
|b Book
|c Close Access
|e Tembila Campus
|