Revision, Acceptability and Context: Theoretical and Algorithmic Aspects - Cognitive Technologies - Dov M. Gabbay - 图书 - Springer-Verlag Berlin and Heidelberg Gm - 9783642264306 - 2012年10月13日
如封面与标题不符,以标题为准

Revision, Acceptability and Context: Theoretical and Algorithmic Aspects - Cognitive Technologies 2010 edition

价格
元 1.055
不含税

远程仓调货

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

其他版本:

Revision for a foreign logic is done via its translation into a well-known logic, usually classic logic. Secondly, the technique of meta-level/object-level movement, where we bring some operation defined at the meta-level of a logic into its object level.


386 pages, 45 black & white illustrations, biography

介质类型 图书     Paperback Book   (平装胶订图书)
已发行 2012年10月13日
ISBN13 9783642264306
出版商 Springer-Verlag Berlin and Heidelberg Gm
页数 386
商品尺寸 155 × 235 × 20 mm   ·   598 g
语言 德语  

Dov M. Gabbay的更多作品

显示全部

Mere med samme udgiver