info@buecher-doppler.ch
056 222 53 47
Warenkorb
Ihr Warenkorb ist leer.
Gesamt
0,00 CHF
  • Start
  • Fragments of First-Order Logic

Fragments of First-Order Logic

Angebote / Angebote:

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?
Lieferbar in ca. 10-20 Arbeitstagen

Preis

196,00 CHF

Artikel, die Sie kürzlich angesehen haben