10% de desconto

Elements Of Finite Model Theory

de Leonid Libkin
idioma: inglês
Editor: SPRINGER-VERLAG BERLIN AND HEIDELBERG GMBH & CO. KG, dezembro de 2010 ‧
118,97€
10% DESCONTO CARTÃO
portes grátis
Venda o seu livro
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;

Elements Of Finite Model Theory

de Leonid Libkin

Propriedade Descrição
ISBN: 9783642059483
Editor: SPRINGER-VERLAG BERLIN AND HEIDELBERG GMBH & CO. KG
Data de Lançamento: dezembro de 2010
Idioma: Inglês
Encadernação: Capa mole
Páginas: 318
Tipo de produto: Livro
Coleção: Texts In Theoretical Computer Science. An Eatcs Series
Classificação Temática: Livros em Inglês > Ciências Exatas e Naturais > Matemática
EAN: 9783642059483

LIVROS DA MESMA COLEÇÃO