10% de desconto

Fragments Of First-Order Logic

Livro eBook
idioma: inglês
Editor: Oxford University Press, março de 2023 ‧
182,50€
10% DESCONTO CARTÃO
portes grátis
Venda o seu livro
Pratt-Hartmann considers for which fragments of first-order logic there is an effective method for determining satisfiability or finite satisfiability. Furthermore, he asks, if these problems are decidable for some fragment, what is their computational complexity?

Fragments Of First-Order Logic

Propriedade Descrição
ISBN: 9780192867964
Editor: Oxford University Press
Data de Lançamento: março de 2023
Idioma: Inglês
Dimensões: 156 x 234 x 20 mm
Encadernação: Capa dura
Páginas: 672
Tipo de produto: Livro
Coleção: Oxford Logic Guides
Classificação Temática: Livros em Inglês > Ciências Exatas e Naturais > Matemática
Livros em Inglês > Outros
EAN: 9780192867964

LIVROS DA MESMA COLEÇÃO