| 000 | 00759cam a2200241 4500 | ||
|---|---|---|---|
| 001 | BPIE000166 | ||
| 008 | 1992 nyua g eng | ||
| 020 | _a0130544469 | ||
| 035 | _aBPIE000166 | ||
| 050 | 0 | 0 |
_aQA76.9.A96 _bA93 1992 |
| 245 | 1 | 0 |
_aAutomated reasoning : _bintroduction and applications / _cLarry Wos...[et. al]. |
| 250 | _a2a. ed. | ||
| 260 |
_aNew York : _bMcGraw-Hill, _c1992 |
||
| 300 |
_axvi, 656 p. ; _c24 cm. |
||
| 500 | _a1 ejemplar | ||
| 500 | _aRecursos propios | ||
| 504 | _aIncluye bibliografias e indice | ||
| 650 | 1 | 4 |
_aComprobación automático _xteoremas |
| 650 | 2 | 4 | _aInteligencia artificial |
| 650 | 3 | 4 |
_aComputadoras electrónicas digitales _xprogramación |
| 700 | 1 | _aWos, Larry,...[et. al]. | |
| 942 |
_2lcc _cLIB |
||
| 999 |
_c106103 _d106103 |
||