| 000 | 00715nam a2200217 a 4500 | ||
|---|---|---|---|
| 008 | 970106s1983^^^^^^^^^^^^^^^^^^000^0^eng^^ | ||
| 020 |
_a0-12-141250-4 _c(en estuche) |
||
| 020 |
_a0-12-141352-0 _c(rustica) |
||
| 035 | _aMX001000528376 | ||
| 050 |
_aQA76.95 _bB85 |
||
| 100 | 1 |
_aBundy, Alan, _eautor |
|
| 245 | 1 | 4 |
_aThe computer modelling of mathematical reasonign / _cAlan bundy |
| 264 | 1 |
_aLondon : _bAcademic, _c1983 |
|
| 300 | _a403 páginas | ||
| 336 |
_atexto _2rdacontent |
||
| 337 |
_asin medio _2rdamedia |
||
| 338 |
_avolumen _2rdacarrier |
||
| 650 |
_aMatemáticas _xProcesamiento de datos |
||
| 650 | _aLógica simbólica y matemática | ||
| 650 | _aDemostración automática de teoremas | ||
| 999 |
_c7964 _d7964 |
||