| 000 | 00806nam a2200253 4500 | ||
|---|---|---|---|
| 001 | 19858 | ||
| 010 |
_a3-540-60178-3 _bbrochado _dEsc 12 600$ |
||
| 090 | _a19858 | ||
| 100 | _a19961003d1995 k||y0pory50 ba | ||
| 101 | 0 | _aeng | |
| 102 | _aDE | ||
| 200 | 1 |
_aLogic and computational complexity _eselected papers from the international workshop LCC'94, held in Indianapolis, IN, USA, October 1994 _feditor Daniel Leivant |
|
| 210 |
_aBerlin [etc.] _cSpringer-Verlag _dcop. 1995 |
||
| 215 |
_aVIII, 514 p. _cil. _d24 cm |
||
| 225 | 2 |
_aLecture notes in computer science _v960 |
|
| 606 | _aLógica matemática | ||
| 606 | _aComplexidade computacional | ||
| 680 | _aQA75.5 | ||
| 702 | 1 |
_aLeivant _bDaniel, ed. lit. |
|
| 801 | 0 |
_gRPC _aPT |
|
| 942 |
_2lcc _cA _n0 |
||