Name: Fragments of First-Order Logic
Price: 1806.95 DKK
Availability: InStock
Author: Ian Pratt-Hartmann
ISBN: 9780192867964

Fragments of First-Order Logic af Ian Pratt-Hartmann

Du sparer 0% ift. normalprisen Spar 0%

Hardback
8-11 hverdage
1.806,95 kr.

Bag om Fragments of First-Order Logic

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?

Vis mere

Sprog:
Engelsk

ISBN:
9780192867964

Forlag:
Oxford University Press, USA

Indbinding:
Hardback

Sideantal:
672

Udgivet:
30. juni 2023

Størrelse:
162x38x241 mm.

Vægt:
1256 g.

Leveringstid: 8-11 hverdage.
Forventet levering: 17. januar 2025

På lager

Normalpris

1.806,95 kr. + Fragt
~~1.806,95 kr.~~

Medlemspris

1.756,95 kr.

Prøv i 30 dage for 45 kr.
Herefter fra 79 kr./md. Ingen binding.

Bag om Ian Pratt-Hartmann

Vis alle bøger af Ian Pratt-Hartmann

Beskrivelse af Fragments of First-Order Logic

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?

Brugerbedømmelser af Fragments of First-Order Logic

Andre købte også..

Find lignende bøger

Bogen Fragments of First-Order Logic findes i følgende kategorier:

Fragments of First-Order Logic - Ian Pratt-Hartmann - Bog

Bag om Ian Pratt-Hartmann

Beskrivelse af Fragments of First-Order Logic

Brugerbedømmelser af Fragments of First-Order Logic

Gør som tusindvis af andre bogelskere