Udvidet returret til d. 31. januar 2025

Bøger af Ian Pratt-Hartmann

Filter
Filter
Sorter efterSorter Populære
  • af Ian Pratt-Hartmann
    1.766,95 kr.

    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?

Gør som tusindvis af andre bogelskere

Tilmeld dig nyhedsbrevet og få gode tilbud og inspiration til din næste læsning.