Logical foundations of computer science : international symposium, LFCS 2007, New York, NY, USA, June 4-7, 2007 : proceedings Sergei N. Artemov, Anil Nerode (eds.).
Por: LFCS 2007 New York, N.Y.) (2007.
Colaborador(es): Artemov, S. N | Nerode, Anil.
Series Lecture notes in computer science (Springer): 4514.Editor: Berlin ; Springer, c2007Descripción: xi, 511 p. : il. ; 24 cm.ISBN: 9783540727323 (pbk.); 3540727329 (pbk.).Otro título: LFCS 2007.Tema(s): Ciencia | Informática | Lógica matemática | Teoría lógicaClasificación CDD: 004.015113 Recursos en línea: Haga clic para acceso en línea| Tipo de ítem | Ubicación actual | Signatura | Copia número | Estado | Fecha de vencimiento |
|---|---|---|---|---|---|
| Libros | Biblioteca Laura Manzo - Universidad Nacional de Quilmes SALA | 004.015 LFC (Navegar estantería) | 1 | Disponible |
Incluye referencias bibliográficas e índice.