Norges billigste bøker

Bøker av Ian Pratt-Hartmann

Filter
Filter
Sorter etterSorter Populære
  • av Ian Pratt-Hartmann
    1 759,-

    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?

Gjør som tusenvis av andre bokelskere

Abonner på vårt nyhetsbrev og få rabatter og inspirasjon til din neste leseopplevelse.