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 Matthias Baaz, Johann A. Makowsky (eds.).
Colaborador(es): Baaz, Matthias | Makowsky, Johann A | European Association for Computer Science Logic. Conference | Kurt Gödel Colloquium Vienna University of Technology) 2003 : (8th.
Series Lecture notes in computer science (Springer): 2803Editor: Berlin ; Springer, 2003Descripción: xii, 590 p. : il. ; 24 cm.ISBN: 3540408010.Tema(s): Informática | Lógica | AlgoritmosClasificación CDD: 005.1/01/5113Tipo de ítem | Ubicación actual | Signatura | Copia número | Estado | Fecha de vencimiento |
---|---|---|---|---|---|
Libros | Biblioteca Laura Manzo - Universidad Nacional de Quilmes SALA | 005.101 COM (Navegar estantería) | 1 | Disponible |
Incluye referencias bibliográficas e índice.