Logical Tools for Handling Change in Agent-Based Systems - Cognitive Technologies - Dov M. Gabbay - 書籍 - Springer-Verlag Berlin and Heidelberg Gm - 9783642044069 - 2009年12月15日
カバー画像とタイトルが一致しない場合、正しいのはタイトルです

Logical Tools for Handling Change in Agent-Based Systems - Cognitive Technologies 2010 edition

価格
¥ 25.209
税抜

遠隔倉庫からの取り寄せ

発送予定日 2026年1月13日 - 2026年1月23日
クリスマスプレゼントは1月31日まで返品可能です
iMusicのウィッシュリストに追加

他の形態でも入手可能:

These tools include preferential reasoning, theory revision, and reasoning in inheritance systems, and the authors use these tools to examine nonmonotonic logic, deontic logic, counterfactuals, modal logic, intuitionistic logic, and temporal logic.


316 pages, 26 black & white illustrations, biography

メディア 書籍     Hardcover Book   (ハードカバー付きの本)
リリース済み 2009年12月15日
ISBN13 9783642044069
出版社 Springer-Verlag Berlin and Heidelberg Gm
ページ数 305
寸法 166 × 243 × 21 mm   ·   576 g
言語 英語  

Dov M. Gabbayの他の作品を見る

すべて表示