Elements of finite model theory / Leonid Libkin.
Series Texts in theoretical computer science | EATCS seriesDetalles de publicación: Berlin ; Springer, c2010.Descripción: xiv, 315 p. : il. ; 24 cmISBN:- 9783642059483
Tipo de ítem | Biblioteca actual | Signatura topográfica | Estado | Fecha de vencimiento | Código de barras | Reserva de ítems | |
---|---|---|---|---|---|---|---|
Libro | FaMAF Sección Computación | C F4.1 L695 | Disponible | 21114 |
Total de reservas: 0
Incluye referencias bibliográficas (p. [291]-303) e índice.