Conferencia

Logical foundations of computer science : international symposium, LFCS 2007, New York, NY, USA, June 4-7, 2007 : proceedings

Guardado en:
Detalles Bibliográficos
Autor Corporativo: LFCS 2007 New York, N.Y.
Otros Autores: Artemov, S. N., Nerode, Anil, 1932-
Formato: Conferencia
Idioma:inglés
Publicado: Berlin ; Springer, c2007.
Colección:Lecture notes in computer science (Springer) . ; 4514.
Materias:
Descripción
Descripción Física:xi, 511 p. : il. ; 24 cm.
Bibliografía:Incluye referencias bibliográficas e índice.
ISBN:9783540727323 (pbk.)
3540727329 (pbk.)