| 000 | 00704nam a2200253 4500 | ||
|---|---|---|---|
| 001 | 19864 | ||
| 010 |
_a0-387-94593-8 _bencadernado _dEsc 8 190$ |
||
| 090 | _a19864 | ||
| 100 | _a19961003d1996 k||y0pory50 ba | ||
| 101 | _aeng | ||
| 102 | _aUS | ||
| 200 |
_aFirst-order logic and automated theorem proving _fMelvin Fitting |
||
| 205 | _a2nd ed | ||
| 210 |
_aBronx, US _cSpringer-Verlag _dcop. 1996 |
||
| 215 |
_aXVI, 326 p. _cil. _d25 cm |
||
| 225 | _aGraduate texts in computer science | ||
| 606 | _aDemonstração de teoremas | ||
| 606 | _aLógica matemática | ||
| 680 | _aQA76.9 | ||
| 700 |
_aFitting _bMelvin |
||
| 801 |
_gRPC _aPT |
||
| 942 |
_2lcc _cA _n0 |
||