【预订】Automated Deduction - CADE-21 9783540735946 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540735946 Author 作者 Frank Pfenning Format 版本 平装-胶订 Pages Number 页数 524页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2007-07-05 Language 语种 英语 Book Contents 内容简介 A veritable one-stop-shop for anyone looking to get up to speed on what is going down in the field of automated deduction right now. All current aspects of automated deduction are addressed, ranging from theoretical and methodological issues to presentation and evaluation of theorem provers and logical reasoning systems.
¥608.00
海外直订Automated Deduction - CADE-21: 21st International Confer
¥553.00
【3-6周达】Automated Deduction - CADE-21: 21st International Con 【全球购】进口原版图书，预计3-6周左右到国内
¥507.00
