Elements of Finite Model Theory - Texts in Theoretical Computer Science. An EATCS Series - Leonid Libkin - Livros - Springer-Verlag Berlin and Heidelberg Gm - 9783642059483 - 3 de dezembro de 2010
Caso a capa e o título não sejam correspondentes, considere o título como correto

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

Preço
R$ 569,90
excluindo impostos

Item sob encomenda (no estoque do fornecedor)

Espera-se estar pronto para envio 6 - 12 de out
Receba avisos sobre novos lançamentos de Leonid Libkin
Adicione à sua lista de desejos do iMusic

Ainda não avaliado

Também disponível 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

Mídia Livros     Paperback Book   (Livro de capa flexível e brochura)
Lançado 3 de dezembro de 2010
ISBN13 9783642059483
Editoras Springer-Verlag Berlin and Heidelberg Gm
Páginas 318
Dimensões 155 × 235 × 17 mm   ·   471 g
Idioma Francês  

Mais por Leonid Libkin

Mostrar tudo

Mais da mesma editora