| 000 | nam a22 7a 4500 | ||
|---|---|---|---|
| 999 |
_c146367 _d146365 |
||
| 005 | 20190121085427.0 | ||
| 008 | 190121b nju||||| |||| 00| 0 eng d | ||
| 020 | _a0130544531 | ||
| 050 | 0 | 4 |
_aQA76.9.A96 _bA88 1984 |
| 245 | 0 | 0 |
_aAutomated reasoning _b: introduction and applications _c/ Larry Wos ... [et al.]. |
| 250 | _a1a ed. | ||
| 260 |
_aEnglewood Cliffs, NJU. : _bPrentice-Hall, _cc1984 |
||
| 300 |
_axiv, 482 p. : _bil. ; _c23 cm. |
||
| 504 | _aIncluy bibliografias e índice | ||
| 650 | 7 |
_2lemb _aInteligencia artificial |
|
| 650 | 7 |
_2lemb _aProgramación (Computadores) |
|
| 700 | 1 |
_aWos, Larry, _eautor |
|
| 942 |
_2lcc _cLIB |
||