Logical Tools for Handling Change in Agent-Based Systems - Cognitive Technologies - Dov M. Gabbay - 图书 - Springer-Verlag Berlin and Heidelberg Gm - 9783642261879 - 2012年3月1日
如封面与标题不符,以标题为准

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

价格
元 1.055
不含税

远程仓调货

预计送达时间 年7月16日 - 年7月28日
添加至iMusic心愿单

Ikke bedømt endnu

其他版本:

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.


315 pages, 26 black & white illustrations, biography

介质类型 图书     Paperback Book   (平装胶订图书)
已发行 2012年3月1日
ISBN13 9783642261879
出版商 Springer-Verlag Berlin and Heidelberg Gm
页数 305
商品尺寸 155 × 235 × 16 mm   ·   444 g
语言 英语  

Dov M. Gabbay的更多作品

显示全部

Mere med samme udgiver