Elements Of Finite Model Theory

de Leonid Libkin 

Bertrand.pt - Elements Of Finite Model Theory
idioma: Inglês
Editor: SPRINGER-VERLAG BERLIN AND HEIDELBERG GMBH & CO. KG
Edição: julho de 2004
102,99€
Esgotado ou não disponível

Provides an introduction to finite model theory which stresses the computer science origins of the area. This book deals with the applications in databases, complexity theory, and formal languages, as well as other branches of computer science. It covers Ehrenfeucht-Fraisse games, locality-based techniques, and the complexity analysis of logics.

Elements Of Finite Model Theory
ISBN:
9783540212027
Ano de edição:
07-2004
Editor:
SPRINGER-VERLAG BERLIN AND HEIDELBERG GMBH & CO. KG
Idioma:
Inglês
Encadernação:
Capa dura
Páginas:
318
Tipo de Produto:
Livro
EAN:
9783540212027
X
O QUE É O CHECKOUT EXPRESSO?

O ‘Checkout Expresso’ utiliza os seus dados habituais (morada e/ou forma de envio, meio de pagamento e dados de faturação) para que a sua compra seja muito mais rápida. Assim, não tem de os indicar de cada vez que fizer uma compra. Em qualquer altura, pode atualizar estes dados na sua ‘Área de Cliente’.

Para que lhe sobre mais tempo para as suas leituras.