Name: Dynamic Epistemic Logic
Price: 1332.95 DKK
Availability: InStock
Author: Hans van Ditmarsch
ISBN: 9781402058387

Dynamic Epistemic Logic af Hans van Ditmarsch

Du sparer 0% ift. normalprisen Spar 0%

Bag om Dynamic Epistemic Logic

Dynamic Epistemic Logic is the logic of knowledge change. This book provides various logics to support such formal specifications, including proof systems. It is suitable for graduate courses in logic. Many examples, exercises, and thorough completeness proofs and expressivity results are included.

Vis mere

Sprog:
Engelsk

ISBN:
9781402058387

Forlag:
Springer-Verlag New York Inc.

Indbinding:
Hardback

Sideantal:
296

Udgivet:
5. juni 2007

Udgave:
2008

Størrelse:
235x155x19 mm.

Vægt:
604 g.

Leveringstid: 8-11 hverdage.
Forventet levering: 30. november 2024

Normalpris

BLACK NOVEMBER
1.332,95 kr. + Fragt
~~1.332,95 kr.~~

Medlemspris

1.282,95 kr.

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

Bag om Hans van Ditmarsch

Vis alle bøger af Hans van Ditmarsch

Beskrivelse af Dynamic Epistemic Logic

Dynamic Epistemic Logic is the logic of knowledge change. This book provides various logics to support such formal specifications, including proof systems. It is suitable for graduate courses in logic. Many examples, exercises, and thorough completeness proofs and expressivity results are included.

Brugerbedømmelser af Dynamic Epistemic Logic

Andre købte også..

Find lignende bøger

Bogen Dynamic Epistemic Logic findes i følgende kategorier:

Business og læring > Videnskab

Dynamic Epistemic Logic - Hans van Ditmarsch - Bog

Bag om Hans van Ditmarsch

Beskrivelse af Dynamic Epistemic Logic

Brugerbedømmelser af Dynamic Epistemic Logic

Gør som tusindvis af andre bogelskere