【预订】Colton Case: Testimony, November 13, 1883-August 1, 1884 美国库房发货,通常付款后3-5周到货!
¥334.00
【预售 按需印刷】Colton Maynard 北京发货,付款后10天内发货
¥159.00
【预订】Colton Maynard: Letters and Journals 9781162781242 美国库房发货,通常付款后3-5周到货!
¥175.00
¥253.30
按需印刷Colton Case 预订,预计下单后2-3周左右发货!
¥298.00
按需印刷Colton Maynard 预订,预计下单后2-3周左右发货!
¥159.00
预订 Money and Finance in the Middle East: Missed Opportunitie 【全球购】进口原版图书,约5-8周到达国内后发出
¥1407
【中商原版】猫狗之家4 焦糖蛋糕 Jasper and Scruff The Great Cat Cake-off 英文
¥51.00
明星店铺 中华商务进口图书旗舰店
海外直订The Heirs of the Lazy-S 懒人的后代
¥103.00
明星店铺 中华商务进口图书旗舰店
海外直订Latin 2004: Theoretical Informatics: 6th Latin American
¥1033
明星店铺 中华商务进口图书旗舰店
按需印刷The Belted Seas 预订,预计下单后2-3周左右发货!
¥311.00
【预订】Automated Theory Formation in Pure Mathematics 978185233 国外库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9781852336097 Author 作者 Colton Format 版本 精装 Pages Number 页数 380页 Publisher 出版社 Springer London Publication Date 出版日期 2002-08-09 Language 语种 英语 Book Contents 内容简介 In recent years, Artificial Intelligence researchers have largely focused their efforts on solving specific problems, with less emphasis on ’the big picture’ - automating large scale tasks which require human-level intelligence to undertake. The subject of this book, automated theory formation in mathematics, is such a large scale task. Automated theory formation requires the invention of new concepts, the calculating of examples, the making of conjectures and the proving of theorems. This book, representing four years of PhD work by Dr. Simon Colton demonstrates how theory formation can be automated. Building on over 20 years of research into constructing an automated mathematicia
¥1022
按需印刷Designing and Constructing Instruments for Social Resear 预订,预计下单后2-3周左右发货!
¥936.00
预订Adult Children Raising Children:Sparing Your Child from Co 预订,预计下单后2-3周左右发货!
¥327.00
海外直订Lacon: Or, Many Things In Few Words: Addressed To Those
¥250.00
明星店铺 中华商务进口图书旗舰店
预订 Reactive Oxygen Species in Biological Systems: [ISBN:9781 【全球购】进口原版图书,约5-8周到达国内后发出
¥1847
【预订】The Belted Seas 9781162688800 美国库房发货,通常付款后3-5周到货!
¥168.00
【预订】Physiology: Illustrated by Experiment 9781163113264 美国库房发货,通常付款后3-5周到货!
¥284.00
【预订】Lacon, Or, Many Things in Few Words: Addressed to Those 美国库房发货,通常付款后3-5周到货!
¥376.00
【预售 按需印刷】Port Argent 北京发货,付款后10天内发货
¥230.00
【预售 按需印刷】Harps Hung Up in Babylon
¥227.80
预订 Automated Theory Formation in Pure Mathematics 9781447111 海外仓库发货,通常付款后4-9周到货!
图书信息 书号: 9781447111139 作者: Simon Colton 装帧: 平装-胶订 页数: 380页 出版社: Springer London 尺寸: 22.9 x 15.2 x 2.5 cm 出版日期: 2012-09-27 重量: 454g 语种: 其它(含多语) 内容简介 In recent years, Artificial Intelligence researchers have largely foc
¥1174
海外直订Learning the difference between black and white: The rac
¥383.00
明星店铺 中华商务进口图书旗舰店
【预订】Understanding Voice Problems 美国库房发货,通常付款后3-5周到货!
¥1513
海外直订Prehistoric Culture Units and Their Relationships in Nor
¥244.00
明星店铺 中华商务进口图书旗舰店
海外直订O. Henry Memorial Award Prize Stories 欧·亨利纪念奖获奖故事
¥257.00
明星店铺 中华商务进口图书旗舰店
海外直订Angel Song: Medieval English Music in History 天使之歌:历史上的中
¥1615
明星店铺 中华商务进口图书旗舰店
¥167.00
明星店铺 中华商务进口图书旗舰店
¥484.50
按需印刷The Afternoon 预订,预计下单后3-4周左右发货!
¥189.05
¥183.00
明星店铺 中华商务进口图书旗舰店
¥242.25
预订 Inverse Acoustic and Electromagnetic Scattering Theory [I 【全球购】进口原版图书,约5-8周到达国内后发出
¥1735
【预售】【翰德图书】伯莎和布尔克:丛林之战 Bertha and Blink: Rumble in the Jungle 预售图书大约10-12周发货
¥51.50
按需印刷Frank Armstrong at College 预订,预计下单后2-3周左右发货!
¥514.00
按需印刷Frank Armstrong at Queens 预订,预计下单后2-3周左右发货!
¥514.00
¥497.25
预订 Automated Theory Formation in Pure Mathematics [ISBN:9781 【全球购】进口原版图书,约5-8周到达国内后发出
¥928.00
¥219.30
按需印刷Modern Antiquity, And Other Poems (1835) 预订,预计下单后2-3周左右发货!
¥185.00
按需印刷Mountain Scenery 预订,预计下单后2-3周左右发货!
¥152.00
¥223.00
按需印刷The Belted Seas 预订,预计下单后2-3周左右发货!
¥467.00
【中商原版】猫狗之家Jasper and Scruff 3册 低幼童书故事书绘本 搞笑动物友谊故事 5~8岁 英文原版进 低幼童书故事书绘本童书友谊故事英文原版
¥123.00
明星店铺 中华商务进口图书旗舰店
海外直订医药图书How To Best Cope With Cancer: 317 Extremely Helpful
¥140.00
明星店铺 中华商务进口图书旗舰店
海外直订Marketing Matters: Jo Ann M. Colton's Little Red Writer
¥128.80
明星店铺 中华商务进口图书旗舰店
¥192.00
¥186.40
明星店铺 中华商务进口图书旗舰店
海外直订Remarks, Critical and Moral, on the Talents of Lord Byro
¥192.00
明星店铺 中华商务进口图书旗舰店
【预订】The Treasure Hunt 9781680104615 国外库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9781680104615 Author 作者 COLTON Format 版本 平装-胶订 Pages Number 页数 96页 Publisher 出版社 Penguin Random House US Publication Date 出版日期 2020-02-04 Language 语种 英语
¥53.00
海外直订Counting Coup: A True Story of Basketball and Honor on t
¥192.00
明星店铺 中华商务进口图书旗舰店
【预订】Liquid-Liquid InterfacesTheory and Methods 9780849376948 美国库房发货,通常付款后3-5周到货!
¥3711
按需印刷Learning SaltStack - Second Edition 预订,预计下单后2-3周左右发货!
¥466.00
海外直订Combinatorial Pattern Matching: 9th Annual Symposium, Cp
¥553.00
明星店铺 中华商务进口图书旗舰店
海外直订Lacon: Many things in few Words: Addressed to those who
¥655.00
明星店铺 中华商务进口图书旗舰店
【预售 按需印刷】The East Tennessee, Virginia And Georgia
¥125.80
【预订】The Emigrant's Handbook: Or a Directory and Guide for Pe 美国库房发货,通常付款后3-5周到货!
¥167.00
【预订】Tioba: And Other Tales 9781163602867 美国库房发货,通常付款后3-5周到货!
¥216.00
【预订】Our Short Story Writers 9781163719930 美国库房发货,通常付款后3-5周到货!
¥275.00
【预订】The Coal Mines of Tennessee and Other Minerals 978116376 美国库房发货,通常付款后3-5周到货!
¥167.00