000 | 00754cam a2200265 a 4500 | ||
---|---|---|---|
001 | u384875 | ||
003 | SIRSI | ||
005 | 20160812085223.0 | ||
008 | 930803s1994 maua frb 001 0 eng d | ||
035 | _9(DLC) 93006196 | ||
020 | _a0262041421 | ||
040 |
_aDLC _cDLC _dDLC |
||
041 | 0 | _aeng | |
050 | 0 |
_aQA76.63 _bD64 1994 |
|
100 | 1 | _aDoets, Kees. | |
245 | 1 | 0 |
_aFrom logic to logic programming / _cKees Doets. |
260 |
_aCambridge, Mass. : _bMIT Press, _c1994. |
||
300 |
_axii, 214 p. : _bil. ; _c24 cm. |
||
490 | 0 | _aFoundations of computing | |
504 | _aIncluye referencias bibliográficas (p. [197]-199) e índice. | ||
650 | 7 |
_aProgramación lógica. _2lemb |
|
650 | 0 | _aLogic programming. | |
596 | _a4 28 | ||
942 | _cLIBRO | ||
999 |
_c211361 _d211361 |