| 000 | 00681nam a22002057a 4500 | ||
|---|---|---|---|
| 005 | 20161206124851.0 | ||
| 008 | 161206b nyu||||| |||| 00| 0 eng d | ||
| 020 | _a007911251X | ||
| 050 | 0 | 4 |
_aQA76.9.A96 _bA98 1992 |
| 245 | 0 | 0 |
_aAutomated reasoning : _bintroduction and applications / _cLarry Wos...[et al.]. |
| 250 | _a2a ed. | ||
| 260 |
_aNew York : _bMcGraw-Hill, _c1992. |
||
| 300 |
_axvi, 656 p. : _bil. ; _c25 cm. |
||
| 504 | _aBibliografía : p. 639-642 e índice. | ||
| 650 | 4 |
_aTeoremas autómaticos _xPruebas |
|
| 650 | 7 |
_2lemb _aInteligencia artificial |
|
| 650 | 7 |
_2lemb _aComputadores electrónicos dígitales |
|
| 700 | 1 |
_aWos, Larry, _ecoaut. |
|
| 942 |
_2lcc _cLIB |
||
| 999 |
_c122917 _d122917 |
||