Matemática

Fragments Of First-Order Logic

de Ian Pratt-Hartmann 

eBook
Bertrand.pt - Fragments Of First-Order Logic
idioma: Inglês
Editor: OUP Oxford
Edição: abril de 2023
Formatos Disponíveis:
Livro eBook
10%
119,24€
Poupe 11,92€ (10%) Cartão Leitor Bertrand
Disponibilidade Imediata
EBOOK PARA ADOBE DIGITAL EDITIONS (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?

Coleções

Fragments Of First-Order Logic
de Ian Pratt-Hartmann 
ISBN:
9780192693891
Ano de edição:
04-2023
Editor:
OUP Oxford
Idioma:
Inglês
Tipo de Produto:
eBook
Coleção:
Oxford Logic Guides
Formato:
PDF para ADE i
Classificação Temática:
eBooks  >  eBooks em Inglês  >  Ciências Exatas e Naturais  >  Matemática

EAN:
9780192693891
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.