Autor Hans Van Ditmarsch

Dynamic Epistemic Logic is the logic of knowledge change. This book provides various logics to support such formal specifications, including proof systems. Concrete examples and epistemic puzzles enliven the exposition. The book also offers exercises...

• Knihabrožovaná väzba
  Vypredané

  Ach, mrzí nás to, z tejto knihy sa už predali všetky výtlačky a nemáme ju na sklade my ani vydavateľ :( Teoreticky však môžete mať šťastie v niektorých iných obchodoch, ktoré ešte nepredali posledné kusy.

  Pridať do zoznamu