| 000 | 01168Cam#a22003255a#4500 | ||
|---|---|---|---|
| 001 | 023750 | ||
| 005 | 20160721160729.0 | ||
| 008 | 120514s2007||||gw a |#b #101 0#eng d | ||
| 020 | _a9783540727323 (pbk.) | ||
| 020 | _a3540727329 (pbk.) | ||
| 040 |
_aOHX _beng _dCUS |
||
| 082 | 0 | 4 |
_a004.015113 _221 |
| 111 | 2 |
_aLFCS 2007 _cNew York, N.Y.) _d(2007 : |
|
| 245 | 0 | 2 |
_aLogical foundations of computer science : _binternational symposium, LFCS 2007, New York, NY, USA, June 4-7, 2007 : proceedings _cSergei N. Artemov, Anil Nerode (eds.). |
| 246 | 3 | 0 | _aLFCS 2007 |
| 260 |
_aBerlin ; _bSpringer, _cc2007. |
||
| 300 |
_axi, 511 p. : _bil. ; _c24 cm. |
||
| 490 | 1 | _aLecture notes in computer science, | |
| 504 | _aIncluye referencias bibliográficas e índice. | ||
| 650 | 7 |
_aCiencia _2spines |
|
| 650 | 7 |
_aInformática _2spines |
|
| 650 | 7 |
_aLógica matemática _2spine |
|
| 650 | 7 |
_aTeoría lógica _2spines |
|
| 700 | 1 | _aArtemov, S. N. | |
| 700 | 1 |
_aNerode, Anil, _d1932- |
|
| 830 | 0 |
_aLecture notes in computer science (Springer) . ; _v4514. |
|
| 856 | _u | ||
| 929 |
_aDONACION _bEduardo Bonelli _d0 _e20110210 _fPAT0037065 _g1727 _j47660 |
||
| 942 |
_cLIB _n0 |
||
| 999 |
_c22407 _d97794 |
||