Fragments of First-Order Logic
BücherAngebote / 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 CHFVerfügbarkeit:
LieferbarArtikel, die Sie kürzlich angesehen haben
Folgt in ca. 15 Arbeitstagen
19,50 CHF
