Búsqueda por número de registro: eeo002839
 
 

Finite model theory and its applications

Erich Grädel ... [et al.].

Berlin ; New York : Springer, ©2007.

xi, 437 págs. : ilustraciones ; 24 cm.

Serie: Texts in theoretical computer science, 1862-4499

ISBN: 9783540004288 (hardcover : alk. paper)

Incluye referencias bibliográficas e índice.

 
Registro eeo002839 · Modificado: 02/11/2017

Explorar índices alfabéticos


Es suficiente con que ingrese las primeras letras. Omita artículos iniciales en títulos.
Recorrer el catálogo completo (por orden de ubicación del material)