Gjør som tusenvis av andre bokelskere
Abonner på vårt nyhetsbrev og få rabatter og inspirasjon til din neste leseopplevelse.
Ved å abonnere godtar du vår personvernerklæring.Du kan når som helst melde deg av våre nyhetsbrev.
Dynamic Epistemic Logic
del av Synthese Library-serien
- Bindende:
- Paperback
- Sider:
- 296
- Utgitt:
- 15 november 2007
- Utgave:
- 2008
- Dimensjoner:
- 235x241x20 mm.
- Vekt:
- 472 g.
Gratis frakt
Leveringstid:
2-4 uker
Forventet levering: 22 oktober 2024
Beskrivelse av 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.
Brukervurderinger av Dynamic Epistemic Logic
Vurder denne boken
Du må være innlogget for å vurdere denne boken.Andre har også kjøpt..
Finn lignende bøker
Boken Dynamic Epistemic Logic finnes i følgende kategorier:
Du kan når som helst melde deg av våre nyhetsbrev.
© 2024 Tales.no
