Ohne aktives Javascript kann es zu Problemen bei der Darstellung kommen. Bitte aktivieren Sie deshalb Ihr Javascript.
Startseite
Bücher
Fragments of First-Order Logic - Ian Pratt-Hartmann (Buch) – lesen.de
Ian Pratt-Hartmann: Fragments of First-Order Logic, Gebunden
Ian Pratt-Hartmann: Fragments of First-Order Logic
Fragments of First-Order Logic
Buch
lieferbar innerhalb 1-2 Wochen (soweit verfügbar beim Lieferanten)
EUR 215,34 *
Oxford University Press, USA , 06/2023
Einband:
Gebunden
Sprache:
Englisch
ISBN-13: 9780192867964
Bestellnummer: 11111430
Umfang: 672 Seiten
Gewicht: 1247 g
Maße: 229 x 173 mm
Stärke: 53 mm
Erscheinungstermin: 30.6.2023
Achtung: Artikel ist nicht in deutscher Sprache!
Weiterlesen
Klappentext
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?
Mehr von Ian Pratt-Hartmann
© jpc-Schallplatten-Versandhandelsgesellschaft mbH