Logic and Games on Automatic Structures : Playing with Quantifiers and Decompositions /

Na minha lista:
Detalhes bibliográficos
Autor principal: .ukasz Kaiser (autor)
Formato: Livro
Idioma:inglês
Publicado em: Berlín, Alemania : Springer, 2011, c2011
Colecção:(Lecture Notes in Computer Science)
Acesso em linha:Ver documento en línea
Tags: Adicionar Tag
Sem tags, seja o primeiro a adicionar uma tag!
Descrição
Descrição Física:1 libro electrónico en línea (XII, 118 p.)
1 recurso en línea
ISBN:978-3-642-22807-0
ISSN:1611-3349
Acesso:Licencias ilimitadas