Marknadens största urval
Fri frakt över 199 kr
Snabb leverans
Hjälp
Logga in
  1. Hem
  2. Böcker
  3. Företagande & lärande
  4. Vetenskap
  5. Fragments of First-Order Logic

Fragments of First-Order Logic

av Ian Pratt-Hartmann

del av Oxford Logic Guides-serien

Fragments of First-Order Logic av Ian Pratt-Hartmann
Om Fragments of First-Order Logic

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?

Visa mer
  • Språk:
  • Engelska
  • ISBN:
  • 9780192867964
  • Format:
  • Inbunden
  • Sidor:
  • 672
  • Utgiven:
  • 30. juni 2023
  • Mått:
  • 162x38x241 mm.
  • Vikt:
  • 1256 g.
Leveranstid: Okänt - saknas för närvarande

Om Ian Pratt-Hartmann

Se alla böcker av Ian Pratt-Hartmann

Beskrivning av Fragments of First-Order Logic

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?

Användarnas betyg av Fragments of First-Order Logic



Andra köpte även...
Hitta liknande böcker
Boken Fragments of First-Order Logic finns i följande kategorier:

Gör som tusentals andra bokälskare

Prenumerera på vårt nyhetsbrev för att få fantastiska erbjudanden och inspiration för din nästa läsning.