|
|
|
|
| LEADER |
01168Cam#a22003255a#4500 |
| 001 |
023750 |
| 005 |
20160721160729.0 |
| 008 |
120514s2007||||gw a |#b #101 0#eng d |
| 020 |
|
|
|a 9783540727323 (pbk.)
|
| 020 |
|
|
|a 3540727329 (pbk.)
|
| 040 |
|
|
|a OHX
|b eng
|d CUS
|
| 082 |
0 |
4 |
|a 004.015113
|2 21
|
| 111 |
2 |
|
|a LFCS 2007
|c New York, N.Y.)
|d (2007 :
|
| 245 |
0 |
2 |
|a Logical foundations of computer science :
|b international symposium, LFCS 2007, New York, NY, USA, June 4-7, 2007 : proceedings
|c Sergei N. Artemov, Anil Nerode (eds.).
|
| 246 |
3 |
0 |
|a LFCS 2007
|
| 260 |
|
|
|a Berlin ;
|b Springer,
|c c2007.
|
| 300 |
|
|
|a xi, 511 p. :
|b il. ;
|c 24 cm.
|
| 490 |
1 |
|
|a Lecture notes in computer science,
|
| 504 |
|
|
|a Incluye referencias bibliográficas e índice.
|
| 650 |
|
7 |
|a Ciencia
|2 spines
|
| 650 |
|
7 |
|a Informática
|2 spines
|
| 650 |
|
7 |
|a Lógica matemática
|2 spine
|
| 650 |
|
7 |
|a Teoría lógica
|2 spines
|
| 700 |
1 |
|
|a Artemov, S. N.
|
| 700 |
1 |
|
|a Nerode, Anil,
|d 1932-
|
| 830 |
|
0 |
|a Lecture notes in computer science (Springer) . ;
|v 4514.
|
| 929 |
|
|
|a DONACION
|b Eduardo Bonelli
|d 0
|e 20110210
|f PAT0037065
|g 1727
|j 47660
|
| 942 |
|
|
|c LIB
|n 0
|
| 999 |
|
|
|c 22407
|d 97794
|