Computer science logic : 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

Guardado en:
Detalles Bibliográficos
Autores Corporativos: European Association for Computer Science Logic. Conference, Kurt Gödel Colloquium
Otros Autores: Baaz, Matthias, Makowsky, Johann A., 1948-
Formato: Acta de conferencia Libro
Lenguaje:Inglés
Publicado: Berlin ; Springer, 2003.
Colección:Lecture notes in computer science (Springer). ; 2803
Materias:
Informática
Lógica
Algoritmos
Aporte de:Registro referencial: Solicitar el recurso aquí
Biblioteca Laura Manzo (UNQ) de Universidad Nacional de Quilmes
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 

Ejemplares similares