Automated Deduction in Classical and Non-Classical Logics: Selected Papers - Lecture Notes in Computer Science - R Caferra - 图书 - Springer-Verlag Berlin and Heidelberg Gm - 9783540671909 - 2000年2月9日
如封面与标题不符，以标题为准

R Caferra
Automated Deduction in Classical and Non-Classical Logics: Selected Papers - Lecture Notes in Computer Science 2000 edition

价格
元 371
不含税

远程仓调货

预计送达时间 年7月20日 - 年7月30日

顾客评价：

根据欧洲消费者保护法享受14天退换货政策
Trustpilot平台高分认证
添加至iMusic心愿单

Not rated yet

This title presents papers reflecting the status of research in automated deduction in classical and non-classical logics. Most of the results presented rely on resolution or tableaux methods with a few exceptions choosing the equational paradigm.

304 pages, biography

介质类型 图书     Paperback Book   (平装胶订图书)
已发行 2000年2月9日
ISBN13 9783540671909
出版商 Springer-Verlag Berlin and Heidelberg Gm
页数 304
商品尺寸 155 × 235 × 16 mm   ·   439 g
语言 法语  
编辑 Caferra, Ricardo
编辑 Salzer, Gernot

Mere med samme udgiver

查看R Caferra的全部作品 ( 例如 Paperback Book )