Dynamic Epistemic Logic - Synthese Library - Hans Van Ditmarsch - 書籍 - Springer-Verlag New York Inc. - 9781402058387 - 2007年6月8日
カバー画像とタイトルが一致しない場合、正しいのはタイトルです

Hans Van Ditmarsch
Dynamic Epistemic Logic - Synthese Library 2008 edition

価格
¥ 16.401
税抜

遠隔倉庫からの取り寄せ

発送予定日 年11月9日 - 年11月19日
クリスマスプレゼントは1月31日まで返品可能です
Hans Van Ditmarsch の新しいリリースのお知らせを受け取る

お客様の声：

EU消費者保護法に基づく14日間の返品ポリシー
Trustpilotで高評価
iMusicのウィッシュリストに追加

まだ評価がありません

他の形態でも入手可能：

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

メディア 書籍     Hardcover Book   (ハードカバー付きの本)
リリース済み 2007年6月8日
ISBN13 9781402058387
出版社 Springer-Verlag New York Inc.
ページ数 296
寸法 155 × 235 × 19 mm   ·   612 g
言語 英語  

同じ出版社からのその他の記事

Hans Van Ditmarschのすべてを見る