Elements of Finite Model Theory - Texts in Theoretical Computer Science. An EATCS Series - Leonid Libkin - Libros - Springer-Verlag Berlin and Heidelberg Gm - 9783642059483 - 3 de diciembre de 2010
En caso de que portada y título no coincidan, el título será el correcto

Leonid Libkin
Elements of Finite Model Theory - Texts in Theoretical Computer Science. An EATCS Series Softcover reprint of hardcover 1st ed. 2004 edition

Precio
$ 107,49
sin IVA

Pedido desde almacén remoto

Entrega prevista 25 de jun. - 8 de jul.

Nuestros clientes opinan:

Política de devolución de 14 días conforme a la legislación europea de protección de los consumidores
Mejor valorado en Trustpilot
Añadir a tu lista de deseos de iMusic

También disponible como:

Finite model theory is an area of mathematical logic that grew out of computer science applications. The birth of finite model theory is often identified with Trakhtenbrot's result from 1950 stating that validity over finite models is not recursively enumerable;

336 pages, 7 black & white illustrations, biography

Medios de comunicación Libros     Paperback Book   (Libro con tapa blanda y lomo encolado)
Publicado 3 de diciembre de 2010
ISBN13 9783642059483
Editores Springer-Verlag Berlin and Heidelberg Gm
Páginas 318
Dimensiones 155 × 235 × 17 mm   ·   471 g
Lengua Francés  

Mas por Leonid Libkin

Mostrar todo

Mere med samme udgiver

Ver todo de Leonid Libkin ( Ej. Paperback Book y Hardcover Book )