Til hovedinnhold
Norli Bokhandel
Favoritter
Hjem/Bøker/Fagbøker/Matematikk og naturvitenskap/Matematikk

Fragments of First-Order Logic

Ian Pratt-Hartmann
2023, Innbundet, Engelsk
Fragments of First-Order Logic

1 759,-

Bestillingsvare – sendes normalt innen 10-14 virkedager
  • Gratis frakt på ordre fra 299,-
  • Bytt i 200 butikker
  • Ikke tilgjengelig for hent i butikk
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?

Produktegenskaper

  • Forfatter

    Ian Pratt-Hartmann

  • Bidragsyter

    Ian Pratt-Hartmann (Forfatter)

  • Forlag/utgiver

    Oxford University Press

  • Format

    Innbundet

  • Språk

    Engelsk

  • Utgivelsesår

    2023

  • Antall sider

    672

  • Varenummer

    9780192867964

Kundeanmeldelser

Frakt og levering