【预订】Thirty Five Years of Automating Mathematics 978904816440 国外库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9789048164400 Author 作者 Kamareddine Format 版本 平装-胶订 Pages Number 页数 320页 Publisher 出版社 Springer Netherlands Publication Date 出版日期 2010-10-22 Language 语种 英语 Book Contents 内容简介 THIRTY FIVE YEARS OF AUTOMATING MATHEMATICS: DEDICATED TO 35 YEARS OF DE BRUIJN’S AUTOMATH N. G. de Bruijn was a well established mathematician before deciding in 1967 at the age of 49 to work on a new direction related to Automating Mathematics. By then, his contributions in mathematics were numerous and extremely influential. His book on advanced asymptotic methods, North? Holland 1958, was a classic and was subsequently turned into a book in the well known Dover book series. His work on combinatorics yielded influential notions and theorems of which we mention the de Bruijn-sequences of 1946 and the de Bruijn-Erdos theorem of 1948. De Bruijn’s contributions to m
¥1002
海外直订Thirty Five Years of Automating Mathematics 数学自动化三十五年
¥1033
明星店铺 中华商务进口图书旗舰店
【预订】Thirty Five Years of Automating Mathematics 美国库房发货,通常付款后3-5周到货!
¥1022
预订 Thirty Five Years of Automating Mathematics [ISBN:9789048 【全球购】进口原版图书,约5-8周到达国内后发出
¥901.00
海外直订Thirty Five Years of Automating Mathematics 数学自动化三十五年
¥1033
明星店铺 中华商务进口图书旗舰店
海外直订A Modern Perspective on Type Theory: From Its Origins Un
¥1343
明星店铺 中华商务进口图书旗舰店
预订 Intelligent Computer Mathematics: 14th International Conf 【全球购】进口原版图书,约5-8周到达国内后发出
¥658.00
预订 A Primer of Mathematical Analysis and the Foundations of 【全球购】进口原版图书,约5-8周到达国内后发出
¥269.00
预订 Thirty Five Years of Automating Mathematics 9789048164400 海外仓库发货,通常付款后4-9周到货!
图书信息 书号: 9789048164400 作者: F D Kamareddine 装帧: 平装-胶订 页数: 320页 出版社: Springer 尺寸: 0.9 x 0.6 x 0.1 cm 出版日期: 2010-10-22 重量: 1g 语种: 其它(含多语) 内容简介 THIRTY FIVE YEARS OF AUTOMATING MATHEMATICS: DEDICATED TO 35 YEARS OF DE BRUI
¥1652
海外直订A Modern Perspective on Type Theory: From Its Origins Un
¥1860
明星店铺 中华商务进口图书旗舰店
【预订】A Modern Perspective on Type Theory 9789048166398 国外库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9789048166398 Author 作者 Kamareddine Format 版本 平装-胶订 Pages Number 页数 360页 Publisher 出版社 Springer Netherlands Publication Date 出版日期 2010-10-22 Language 语种 英语 Book Contents 内容简介 `Towards the end of the nineteenth century, Frege gave us the abstraction principles and the general notion of functions. Self-application of functions was at the heart of Russell’s paradox. This led Russell to introduce type theory in order to avoid the paradox. Since, the twentieth century has seen an amazing number of theories concerned with types and functions and many applications. Progress in computer science also meant more and more emphasis on the use of logic, types and functions to study the syntax, semantics, design and implementation of programming languages and theorem provers, and the correctness of proofs and programs. The authors of this book have the
¥1239
按需印刷图书Logical Reasoning:A First Course 预订,预计下单后3-4周左右发货!
¥305.90
【预订】Intelligent Computer Mathematics 9783030810962 国外库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9783030810962 Author 作者 Fairouz Kamareddine Format 版本 平装-胶订 Pages Number 页数 null页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2021-07-27 Product Dimensions 商品尺寸 9.21 x 6.14 x 0.57 Shipping Weight 商品重量 0.85 Language 语种 其它(含多语) Book Contents 内容简介 This book constitutes the refereed proceedings of the 14th International Conference on Intelligent Computer Mathematics, CICM 2021, held in Timisoara, Romania, in July 2021*.The 12 full papers, 7 system deions, 1 system entry, and 3 abstracts of invited papers presented were carefully reviewed and selected from a total of 38 submissions. The papers focus on advances in formalization, automatic theorem proving and learning, search and classification, teaching and geometric reasoning, and logic and systems, among other topics.* The conference was
¥520.00
A modern perspective on type theory : from its origins until
¥1582.7