预订 Abductive Reasoning and Learning 9780792365655
海外仓库发货,通常付款后4-9周到货!
/ 2000-09-30
/ Springer
图书信息 书号: 9780792365655 作者: Dov M Gabbay 装帧: 精装 页数: 442页 出版社: Springer 尺寸: 22.9 x 15.2 x 2.5 cm 出版日期: 2000-09-30 重量: 908g 语种: 其它(含多语) 内容简介 This book contains leading survey papers on the various aspects of Abduction, both
¥2914
预订 Logic for Artificial Intelligence and Informati... 978190
海外仓库发货,通常付款后4-9周到货!
/ 2007-08-17
图书信息 书号: 9781904987390 作者: D M Gabbay 装帧: 平装-胶订 页数: 584页 出版社: College Publications 尺寸: 22.9 x 15.2 x 2.5 cm 出版日期: 2007-08-17 重量: 908g 语种: 其它(含多语) 内容简介 Logic for Artificial Intelligence and Information Technology is ba
¥383.00
预订 Fibring Logics 9780198503811
海外仓库发货,通常付款后4-9周到货!
/ 1998-12-01
图书信息 书号: 9780198503811 作者: Dov M Gabbay 装帧: 精装 页数: 496页 出版社: Clarendon Press 尺寸: 22.8 x 15.2 x 22.8 cm 出版日期: 1998-12-01 重量: 889g 语种: 英语 内容简介 Modern applications of logic in mathematics, computer science, and linguistics require com
¥1403
【预订】Handbook of Philosophical Logic 9781402063237
国外库房发货,通常付款后3-5周到货!
/ 2007-09-14
Product Details 基本信息 ISBN-13 书号 9781402063237 Author 作者 Dov M. Gabbay King’s College London Dept. Computer Science Format 版本 精装 Pages Number 页数 345页 Publisher 出版社 Springer Netherlands Publication Date 出版日期 2007-09-14 Language 语种 英语 Book Contents 内容简介 theywereextensivelydiscussedbyallauthorsina3-dayHandbookmeeting. These are: ? a chapter on non-monotonic logic ? a chapter on combinatory logic and -calculus We felt at the time (1979) that non-monotonic logic was not ready for a chapter yet and that combinatory logic and ?-calculus was too far re- 1 moved. Non-monotonic logic is now a very major area of philosop- cal logic, alongside default logics, labelled deductive systems, ?bring l- ics, multi-dimensional, multimodal and substructural logics. Intensive - examinations of fragments of classical logic have produced fresh insights, including at time decision procedures and e
¥1985
【预订】Handbook of Philosophical Logic 9789048176083
国外库房发货,通常付款后3-5周到货!
/ 2010-11-25
Product Details 基本信息 ISBN-13 书号 9789048176083 Author 作者 Dov M. Gabbay King’s College London Dept. Computer Science Format 版本 平装-胶订 Pages Number 页数 345页 Publisher 出版社 Springer Netherlands Publication Date 出版日期 2010-11-25 Language 语种 英语 Book Contents 内容简介 theywereextensivelydiscussedbyallauthorsina3-dayHandbookmeeting. These are: ? a chapter on non-monotonic logic ? a chapter on combinatory logic and -calculus We felt at the time (1979) that non-monotonic logic was not ready for a chapter yet and that combinatory logic and ?-calculus was too far re- 1 moved. Non-monotonic logic is now a very major area of philosop- cal logic, alongside default logics, labelled deductive systems, ?bring l- ics, multi-dimensional, multimodal and substructural logics. Intensive - examinations of fragments of classical logic have produced fresh insights, including at time decision procedure
¥1985
【预订】Reactive Kripke Semantics 9783662514368
美国库房发货,通常付款后3-5周到货!
/ 2016-08-23
Product Details 基本信息 ISBN-13 书号 9783662514368 Author 作者 Dov M. Gabbay Format 版本 平装-胶订 Pages Number 页数 442页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2016-08-23 Product Dimensions 商品尺寸 9.2 x 6.1 x 0.9 cm Shipping Weight 商品重量 694g Language 语种 英语 Book Contents 内容简介 This text offers an extension to the traditional Kripke semantics for non-classical logics by adding the notion of reactivity. Reactive Kripke models change their accessibility relation as we progress in the evaluation process of formulas in the model. This feature makes the reactive Kripke semantics strictly stronger and more applicable than the traditional one. Here we investigate the properties and axiomatisations of this new and most effective semantics, and we offer?a wide landscape of applications of the idea of reactivity. Applied topics include?reactive auto
¥1022
【预订】Temporal Logic: Volume 1 9780198537694
国外库房发货,通常付款后3-5周到货!
/ 1994-07-21
Product Details 基本信息 ISBN-13 书号 9780198537694 Author 作者 Gabbay Dov M. Format 版本 精装 Pages Number 页数 668页 Publisher 出版社 Oxford University Press Publication Date 出版日期 1994-07-21 Shipping Weight 商品重量 1162g Language 语种 英语 Book Contents 内容简介 BL Indispensable reference for both the pure logician and the theoretical computer scientist This long awaited book gives a thorough account of the mathematical foundations of Temporal Logic, one of the most important areas of logic in computer science.
¥3236
【预订】Journal of Applied Logics - The IfCoLog Journal of Logic
国外库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9781848903715 Author 作者 Gabbay Dov M.(Guest Editor) Format 版本 平装-胶订 Pages Number 页数 574页 Publisher 出版社 College Publications Publication Date 出版日期 1800-01-01 Product Dimensions 商品尺寸 9.69 x 7.44 x 1.16 Shipping Weight 商品重量 2.23磅 Language 语种 其它(含多语)
¥380.00
【预订】Greek, Indian and Arabic Logic 9780444504661
美国库房发货,通常付款后3-5周到货!
/ 2004-02-06
/ 暂无出版社信息
Product Details 基本信息 ISBN-13 书号 9780444504661 Author 作者 Gabbay, Dov M. Format 版本 精装 Pages Number 页数 628页 Publication Date 出版日期 2004-02-06 Shipping Weight 商品重量 1290g Language 语种 英语 Book Contents 内容简介 Logic
¥2163
【预订】Logic and the Modalities in the Twentieth Century
预订商品,按需印刷,需要1-3个月发货,非质量问题不接受退换货。
/ North
¥3866.18
【预订】Sets and Extensions in the Twentieth Century 97804445162
美国库房发货,通常付款后3-5周到货!
/ 2012-03-02
/ 暂无出版社信息
Product Details 基本信息 ISBN-13 书号 9780444516213 Author 作者 Gabbay, Dov M. Format 版本 精装 Pages Number 页数 880页 Publication Date 出版日期 2012-03-02 Shipping Weight 商品重量 1970g Language 语种 英语 Book Contents 内容简介 Set Theory
¥2114
【预订】The Rise of Modern Logic 9780444516114
美国库房发货,通常付款后3-5周到货!
/ 2004-03-08
/ 暂无出版社信息
Product Details 基本信息 ISBN-13 书号 9780444516114 Author 作者 Gabbay, Dov M. Format 版本 精装 Pages Number 页数 780页 Publication Date 出版日期 2004-03-08 Shipping Weight 商品重量 1530g Language 语种 英语 Book Contents 内容简介 Logic
¥2377