【预订】Logic for Applications 美国库房发货,通常付款后3-5周到货!
¥1703
【预订】Logic for Applications 9781461268550 国外库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9781461268550 Author 作者 Nerode Format 版本 平装-胶订 Pages Number 页数 456页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2012-09-28 Product Dimensions 商品尺寸 9.2 x 6.1 x 0.9 cm Language 语种 英语 Book Contents 内容简介 In writing this book, our goal was to produce a text suitable for a first course in mathematical logic more attuned than the traditional textbooks to the re? cent dramatic growth in the applications oflogic to computer science. Thus, our choice oftopics has been heavily influenced by such applications. Of course, we cover the basic traditional topics: syntax, semantics, soundnes5, completeness and compactness as well as a few more advanced results such as the theorems of Skolem-Lowenheim and Herbrand. Much ofour book, however, deals with other less traditional topics. Resolution theorem proving plays a major rol
¥608.00
预订 Logic for Applications [ISBN:9781461268550] 【全球购】进口原版图书,约3-6周到达国内后发出
¥639.00
海外直订Logic for Applications 应用逻辑
¥588.00
海外直订Logic for Applications 应用程序逻辑
¥1574
【预订】FUZZY LOGIC FOR THE APPLICATIONS TO COMPLEX SYSTEMS - PR 国外库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9789810224851 Format 版本 精装 Publisher 出版社 World Scientific Publication Date 出版日期 1995-11-01 Language 语种 其它(含多语)
¥2389
3-6周达 Advances in Applied Logics: Applications of Logic for 【全球购】进口原版图书,预计3-6周左右到国内
¥1599
3-6周达 Advances in Applied Logics: Applications of Logic for 【全球购】进口原版图书,预计3-6周左右到国内
¥1557
海外直订Advances in Applied Logics: Applications of Logic for Ph
¥1550
预订 Advances in Applied Logics: Applications of Logic for Phi 国外库房发货,通常付款后3-5周到货
¥1825
海外直订An Introduction to Fuzzy Logic for Practical Application
¥1672
【预订】The Applications of Logic: A Textbook for College Studen 美国库房发货,通常付款后3-5周到货!
¥293.00
按需印刷Ifcolog Journal of Logics and their Applications Volume 预订,预计下单后2-3周左右发货!
¥241.00
【预订】Spectral Logic and Its Applications for the Design of Di 美国库房发货,通常付款后3-5周到货!
¥2824
预订 The Applications Of Logic: A Textbook For College Student 国外库房发货,通常付款后3-5周到货
¥420.00
3-6周达 高被引Spectral Logic and Its Applications for the Design 【全球购】进口原版图书,预计3-6周左右到国内
¥2079
【预订】Applications of Formal Philosophy 9783319864198 美国库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9783319864198 Author 作者 Rafa? Urbaniak Centre for Logic and Philosophy of Science Format 版本 平装-胶订 Pages Number 页数 263页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2018-08-10 Language 语种 英语 Book Contents 内容简介 This book features mathematical and formal philosophers’ efforts to understand philosophical questions using mathematical techniques. It offers a collection of works from leading researchers in the area, who discuss some of the most fascinating ways formal methods are now being applied. It covers topics such as: the uses of probable and statistical reasoning, rational choice theory, reasoning in the environmental sciences, reasoning about laws and changes of rules, and reasoning about collective decision procedures as well as about action. Utilizing mathematical techniques has been very fruitful in the traditiona
¥608.00
【中商原版】Spectral Logic And Its Applications For The Design Of MarkKarpovsky
¥1794
预订 Nanoscale Memristive Devices for Memory and Logic Applica 【全球购】进口原版图书,一般5-8周左右到国内
¥796.00
海外直订Logic-Driven Traffic Big Data Analytics: Methodology and
¥1264
预订 The Logic of Logistics: Theory, Algorithms, and Applicati 【全球购】进口原版图书,一般5-8周左右到国内后发出
¥645.00
预订 Elementary Logic with Applications: A Procedural Perspect 【全球购】进口原版图书,一般5-8周左右到国内后发出
¥219.00
海外直订Elementary Logic with Applications: A Procedural Perspec
¥260.00
预订 Elementary Logic with Applications: A Procedural Perspect 国外库房发货,通常付款后3-5周到货
¥261.00
海外直订Logic-Driven Traffic Big Data Analytics: Methodology and
¥1264
预订 Computer and Applications Fundamentals Coloring Book For 【全球购】进口原版图书,约3-6周到达国内后发出
¥111.00
海外直订Computer and Applications Fundamentals Coloring Book For
¥108.00
预订 Procedural Semantics for Hyperintensional Logic: Foundati 国外库房发货,通常付款后3-5周到货
¥2434
预订 Procedural Semantics for Hyperintensional Logic: Foundati 国外库房发货,通常付款后3-5周到货
¥2434
海外直订Procedural Semantics for Hyperintensional Logic: Foundat
¥2285
【预订】Fuzzy Logic and Probability Applications: Bridging the G 美国库房发货,通常付款后3-5周到货!
¥1724
按需印刷Nanoscale Memristive Devices for Memory and Logic Applic 预订,预计下单后2-3周左右发货!
¥1148