|
|
|
|
LEADER |
01219Cam#a22002894a#4500 |
001 |
023748 |
005 |
20160721160729.0 |
008 |
120511s2003 gw a f#b #101 0#eng d |
020 |
|
|
|a 3540408010
|
040 |
|
|
|a DLC
|d DLC
|
082 |
0 |
4 |
|a 005.1/01/5113
|2 22
|
245 |
0 |
0 |
|a Computer science logic :
|b 17th international workshop, CSL 2003, 12th annual conference of the EACSL, 8th Kurt Gödel Colloquium, KGC 2003, Vienna, Austria, August 25-30, 2003 : proceedings
|c Matthias Baaz, Johann A. Makowsky (eds.).
|
260 |
|
|
|a Berlin ;
|b Springer,
|c 2003.
|
300 |
|
|
|a xii, 590 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 Informática
|2 spines
|
650 |
|
7 |
|a Lógica
|2 spines
|
650 |
|
7 |
|a Algoritmos
|2 spines
|
700 |
1 |
|
|a Baaz, Matthias.
|
700 |
1 |
|
|a Makowsky, Johann A.,
|d 1948-
|
710 |
2 |
|
|a European Association for Computer Science Logic.
|b Conference
|
711 |
2 |
|
|a Kurt Gödel Colloquium
|c Vienna University of Technology)
|d 2003 :
|n (8th :
|
830 |
|
0 |
|a Lecture notes in computer science (Springer). ;
|v 2803
|
929 |
|
|
|a DONACION
|b Eduardo Bonelli
|d 0
|e 20110210
|f PAT0037182
|g 1727
|j 47579
|
942 |
|
|
|c LIB
|n 0
|
999 |
|
|
|c 22405
|d 97792
|