Finite model theory and its applications /

Guardado en:
Otros Autores: Grädel, Erich, 1958-
Formato: Libro
Idioma:English
Publicado: Berlin ; New York : Springer, c2007.
Series:Texts in theoretical computer science
Materias:
Etiquetas: Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
Descripción Física:xi, 437 p. : il. ; 24 cm.
Bibliografía:Incluye referencias bibliográficas e índice.
ISBN:9783540004288 (hardcover : alk. paper)
ISSN:1862-4499