分享给好友:
Revision, Acceptability and Context: Theoretical and Algorithmic Aspects - Cognitive Technologies Dov M. Gabbay 2010 edition
价格
元 1.055
不含税
远程仓调货
预计送达时间 年7月16日 - 年7月28日
添加至iMusic心愿单
其他版本:
Revision, Acceptability and Context: Theoretical and Algorithmic Aspects - Cognitive Technologies
Dov M. Gabbay
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
查看Dov M. Gabbay的全部作品 ( 例如 Hardcover Book 及 Paperback Book )