预售 英文预定 Talk, Play, and Read with Me Mommy: Interactive Acti
Talk, Play, and Read with Me Mommy: Interactive Activities to Enhance Your Child's Language Developm
/ 2022-01-10
¥188.68
【预订】Automated Reasoning 9783642313646
国外库房发货,通常付款后3-5周到货!
/ 2012-06-20
Product Details 基本信息 ISBN-13 书号 9783642313646 Author 作者 Gramlich Format 版本 平装-胶订 Pages Number 页数 568页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2012-06-20 Shipping Weight 商品重量 872g Language 语种 英语 Book Contents 内容简介 This book constitutes the refereed proceedings of the 6th International Joint Conference on Automated Reasoning, IJCAR 2012, held in Manchester, UK, in June 2012. IJCAR 2012 is a merger of leading events in automated reasoning, namely CADE (International Conference on Automated Deduction), FroCoS (International Symposium on Frontiers of Combining Systems), FTP (International Workshop on First-Order Theorem Proving), and TABLEAUX (International Conference on Automated Reasoning with Analytic Tableaux and Related Methods). The 32 revised full research papers and 9 system deions presented together with 3 invited talks were carefu
¥520.00
预订 Automated Reasoning 9783642313646
海外仓库发货,通常付款后4-9周到货!
/ 2012-06-20
/ Springer
图书信息 书号: 9783642313646 作者: Bernhard Gramlich 装帧: 平装-胶订 页数: 568页 出版社: Springer 尺寸: 0.9 x 0.6 x 0.1 cm 出版日期: 2012-06-20 重量: 2g 语种: 其它(含多语)
¥849.00
【预订】Frontiers of Combining Systems 9783540290513
国外库房发货,通常付款后3-5周到货!
/ 2005-09-12
Product Details 基本信息 ISBN-13 书号 9783540290513 Author 作者 Gramlich Format 版本 平装-胶订 Pages Number 页数 321页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2005-09-12 Language 语种 英语
¥520.00
【预订】Operatives Auslandsgeschaft Deutscher Kreditinstitute Un
美国库房发货,通常付款后3-5周到货!
/ 1990-01-01
Product Details 基本信息 ISBN-13 书号 9783409149044 Author 作者 Gramlich, Dieter(作者) Format 版本 平装-胶订 Pages Number 页数 315页 Publisher 出版社 Gabler Verlag Publication Date 出版日期 1990-01-01 Product Dimensions 商品尺寸 9.6 x 6.6 x 0.7 cm Shipping Weight 商品重量 1190g Language 语种 英语
¥535.00
【预订】Talk, Play, and Read with Me Mommy: Interactive Activiti
美国库房发货,通常付款后3-5周到货!
/ 1988-08-08
¥178.00