Dynamic Epistemic Logic - Synthese Library - Hans Van Ditmarsch - Bøger - Springer-Verlag New York Inc. - 9781402069086 - 15. november 2007
Ved uoverensstemmelse mellem cover og titel gælder titel

Dynamic Epistemic Logic - Synthese Library 2008 edition

Hans Van Ditmarsch

Pris
zł 574,90

Bestilles fra fjernlager

Forventes klar til forsendelse 26. jun. - 3. jul.

Vores kunder siger:

14 dages fuld returret
Topvurdering på Trustpilot
Tilføj til din iMusic ønskeseddel

Findes også som:

Dynamic Epistemic Logic - Synthese Library 2008 edition

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.

296 pages, biography

Medie Bøger     Paperback Bog   (Bog med blødt omslag og limet ryg)
Udgivet 15. november 2007
ISBN13 9781402069086
Forlag Springer-Verlag New York Inc.
Antal sider 296
Mål 235 × 241 × 20 mm   ·   439 g
Sprog Engelsk  
Vis alle

Mere med Hans Van Ditmarsch

Se alt med Hans Van Ditmarsch ( f.eks. Paperback Bog og Hardcover bog )