HRD. Zustand: New. New Book. Shipped from UK. Established seller since 2000.
EUR 164,68
Anzahl: 14 verfügbar
In den WarenkorbHRD. Zustand: New. New Book. Shipped from UK. Established seller since 2000.
EUR 169,02
Anzahl: 1 verfügbar
In den WarenkorbHardcover. Zustand: Brand New. 528 pages. 9.41x6.38x1.46 inches. In Stock.
EUR 259,90
Anzahl: 2 verfügbar
In den WarenkorbHardcover. Zustand: Brand New. 528 pages. 9.41x6.38x1.46 inches. In Stock.
Sprache: Englisch
Verlag: Oxford University Press Jun 2023, 2023
ISBN 10: 0192867962 ISBN 13: 9780192867964
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Buch. Zustand: Neu. Neuware - 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.