| 000 | 00923cam a2200265 i 4500 | ||
|---|---|---|---|
| 001 | u5592 | ||
| 003 | SIRSI | ||
| 005 | 20240619145731.0 | ||
| 008 | 980526 00 eng | ||
| 020 | _a0137700091 | ||
| 050 |
_aQA76.63 _b.L35 1993 |
||
| 100 | 1 |
_aLalement, Rene. , _eauthor _9162013 |
|
| 245 | 1 | 0 |
_aComputation as logic / _cRene Lalement ;translated by John Plaice. |
| 264 | 1 |
_aEnglewood Cliffs, NJ : _bPrentice-Hall, _c1993. |
|
| 336 |
_atext _btxt _2rdacontent |
||
| 337 |
_aunmediated _bn _2rdamedia |
||
| 338 |
_avolume _bnc _2rdacarrier |
||
| 596 | _a3 | ||
| 650 | 0 |
_aLogic programming. _956384 |
|
| 650 | 0 |
_aFunctional programming (Computer science). _956129 |
|
| 650 | 0 |
_aLogic, symbolic and mathematical. _916225 |
|
| 907 |
_a.b10337532 _b07-11-22 _c12-09-18 |
||
| 998 |
_am _b06-11-22 _cm _da _e- _feng _g _h0 |
||
| 999 |
_c25123 _d25123 |
||