Capa do artigo Fragments Of First-Order Logic
10% de desconto

Fragments Of First-Order Logic eBook

de Ian Pratt-Hartmann
Livro eBook
idioma: inglês
Editor: OUP Oxford, abril de 2023 ‧
119,24€
10% DESCONTO CARTÃO
DISPONIBILIDADE IMEDIATA
Ebook para ADE
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

de Ian Pratt-Hartmann

Propriedade Descrição
ISBN: 9780192693891
Editor: OUP Oxford
Data de Lançamento: abril de 2023
Idioma: Inglês
Tipo de produto: eBook
Coleção: Oxford Logic Guides
Classificação Temática: eBooks em Inglês > Ciências Exatas e Naturais > Matemática
EAN: 9780192693891

LIVROS DA MESMA COLEÇÃO