| 000 | 00691nam a2200241 4500 | ||
|---|---|---|---|
| 001 | 7991 | ||
| 010 |
_a0-387-96022-8 _bbrochado _doferta |
||
| 090 | _a7991 | ||
| 100 | _a19941123d1984 k||y0pory50 ba | ||
| 101 | _aeng | ||
| 102 | _aUS | ||
| 200 |
_a7th international conference on automated deduction _fR. E. Shostak, ed. lit. |
||
| 210 |
_aNew York _cSpringer-Verlag _dcop. 1984 |
||
| 215 |
_aVI, 508 p. _cil. _d25 cm |
||
| 225 |
_aLecture Notes in Computer Science _v170 |
||
| 606 | _aDemonstração de teoremas | ||
| 606 | _aLógica matemática | ||
| 680 | _aQA75.5 | ||
| 702 |
_aShostak _bR. E. _4340 _916734 |
||
| 801 |
_gRPC _aPT |
||
| 942 |
_2lcc _cA _n0 |
||