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


商品が入荷したらメールで通知を受け取る
プロフィールはありますか? ログイン
Dov M. Gabbay の新しいリリースのお知らせを受け取る
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   ·   641 g
言語 ドイツ語  

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

すべて表示

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