| 000 | 00788cam-a2200289-a-4500 | ||
|---|---|---|---|
| 001 | 000058060 | ||
| 005 | 20240105132703.0 | ||
| 008 | 940318t19821982xxk r 000 0 eng d | ||
| 035 | _a155460 | ||
| 035 | _aUIA0058060 | ||
| 040 |
_aUIASF _cUIASF |
||
| 041 | 0 | _aENG | |
| 050 | 4 |
_aQA 76.6 _bL5 |
|
| 245 | 0 | 0 |
_aLogic programming / _ced. by K. L. Clark and S.-A. Tarnlund |
| 260 |
_aLondon : _bAcademic, _cc1982 |
||
| 300 |
_aaxviii, 366 p. ; _c23 cm |
||
| 440 | 0 |
_aA.P.I.C. _pStudies in data processing ; _v16 |
|
| 504 | _aBibliografía: p. 341-361 | ||
| 650 | 0 | _aProgramación de computadoras | |
| 650 | 0 | _aLógica simbólica y matemática. | |
| 700 | 1 |
_aClark, K. L _q(Keith L.) |
|
| 905 | _a01 | ||
| 942 | 1 | _cNEWBFXC1 | |
| 999 |
_c57243 _d57243 |
||
| 980 |
_851 _gRonald RUIZ |
||