Dynamic Epistemic Logic
Engelstalig
Hardback
Nieuw vanaf 123,00
Koop Tweedehands
Niet tweedehands beschikbaar.
Koop NieuwWeb only
Centraal Magazijn
123,00
Verwachte levertijd: 4-5 weken
Week van het Engelse Boek 12 t/m 25 oktober 2026
+ Gratis boek "The Baby Dragon Tulip Farm" van A.T. Qureshi bij aankoop vanaf €14,99 aan Engelstalige literatuur, Fantasy en Young Adult tijdens de Week van het Engelse boek. Lees meer...
Omschrijving
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.
Beste alternatieven
Specificaties
- Auteur:
-
Uitgever:
- ISBN:9781402058387
- Bindwijze:Hardback
- Aantal Pagina's:296
- Taal:Engelstalig
- Druk:1e
- Publicatiedatum:Juni 2007
-
Rubriek:
Recensies
Recensies van onze lezers
Beoordeel dit boek als eerste!
Om een recensie te schrijven moet je zijn.