Dynamic Epistemic Logic - Synthese Library - Hans Van Ditmarsch - Książki - Springer-Verlag New York Inc. - 9781402058387 - 8 czerwca 2007
W przypadku, gdy okładka i tytuł się nie zgadzają, tytuł jest poprawny

Dynamic Epistemic Logic - Synthese Library 2008 edition

Hans Van Ditmarsch

Cena
zł 513,90

Zamówione z odległego magazynu

Przewidywana dostawa 30 lip - 9 sie

Nasi klienci mówią:

14-dniowa polityka zwrotów zgodnie z europejskim prawem ochrony konsumentów
Najwyższa ocena na Trustpilot
Dodaj do swojej listy życzeń iMusic

Również dostępne jako:

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

Media Książki     Hardcover Book   (Książka z twardym grzbietem i okładką)
Wydane 8 czerwca 2007
ISBN13 9781402058387
Wydawcy Springer-Verlag New York Inc.
Strony 296
Wymiary 155 × 235 × 19 mm   ·   612 g
Język English  
Pokaż wszystko

Więcej od Hans Van Ditmarsch

Zobacz wszystko od Hans Van Ditmarsch ( np. Paperback Book i Hardcover Book )