Gjør som tusenvis av andre bokelskere
Abonner på vårt nyhetsbrev og få rabatter og inspirasjon til din neste leseopplevelse.
Ved å abonnere godtar du vår personvernerklæring.Du kan når som helst melde deg av våre nyhetsbrev.
Fragments of First-Order Logic
del av Oxford Logic Guides-serien
- Bindende:
- Hardback
- Sider:
- 672
- Utgitt:
- 30. juni 2023
- Dimensjoner:
- 162x38x241 mm.
- Vekt:
- 1256 g.
Gratis frakt
Leveringstid:
Ukjent
Utvidet returrett til 31. januar 2025
Beskrivelse 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?
Brukervurderinger av Fragments of First-Order Logic
Vurder denne boken
Du må være innlogget for å vurdere denne boken.Andre har også kjøpt..
Finn lignende bøker
Boken Fragments of First-Order Logic finnes i følgende kategorier:
Du kan når som helst melde deg av våre nyhetsbrev.
© 2024 Bokreolen.no
