Logic in Computer Science: Modelling and Reasoning
Product Details 基本信息 ISBN-13 书号 9780521543101 Author 作者 Michael Huth,Mark Ryan Format 版本 平装 Pages Number 页数 440页 Publisher 出版社 Cambridge University Press; 2nd Revised edition Publication Date 出版日期 2004年8月26日 Product Dimensions 商品尺寸 17.4 x 2.1 x 24.7 cm Shipping Weight 商品重量 748 g Language 语种 英语 Book Description 内容简介 Recent years have seen the development of powerful tools for verifying hardware and software systems, as companies worldwide realise the need for improved means of validating their products. There is increasing demand for training in basic methods in formal reasoning so that students can gain proficiency in logic-based verification methods. The second edition of this successful textbook addresses both those requirements, by continuing to provide a clear introduction to
¥632.00
3-6周达 Logic in Computer Science: Modelling and Reasoning abo 【全球购】进口原版图书，一般3-6周左右到国内后发出
¥661.00
预订 Logic in Computer Science 计算机科学逻辑: 9789819798155 国外库房发货，通常付款后3-5周到货
¥731.00
预订 Logic in Computer Science 预订，预计下单后3-4周左右发货！
¥872.00
海外直订Logic in Computer Science 2ed 计算机科学逻辑2ED
¥719.00
3-6周达 Deontic Logic in Computer Science: 10th International 【全球购】进口原版图书，一般3-6周左右到国内后发出
¥507.00
【预订】Linear Logic in Computer Science 美国库房发货，通常付款后3-5周到货！
¥440.00
预订 Deontic Logic in Computer Science: 7th International Work 【全球购】进口原版图书，一般5-8周左右到国内
¥641.00
预订 Linear Logic in Computer Science [ISBN:9780521608572] 【全球购】进口原版图书，约3-6周到达国内后发出
¥1016
【预订】Deontic Logic in Computer Science 9783642141829 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783642141829 Author 作者 Governatori Format 版本 平装-胶订 Publication Date 出版日期 2010-06-15 Language 语种 英语
¥608.00
【预订】Deontic Logic in Computer Science 9783540221111 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540221111 Author 作者 Lomuscio Format 版本 平装-胶订 Pages Number 页数 282页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2004-05-12 Language 语种 英语 Book Contents 内容简介 This volume contains the workshop proceedings of DEON 2004, the Seventh International Workshop on Deontic Logic in Computer Science. The DEON workshop series aims at bringing together researchers interested in topics - lated to the use of deontic logic in computer science. It traditionally promotes research in the relationship between normative concepts and computer science, articial intelligence, organisation theory, and law. In addition to these topics, DEON 2004 placed special emphasis on the relationship between deontic logic and multi-agent systems. The workshop was held in Madeira, Portugal, on 26–28 May 2004. This v- ume includes all 15 papers presented at
¥608.00
预订 Deontic Logic in Computer Science: 9th International Conf 【全球购】进口原版图书，一般5-8周左右到国内
¥1143
【预订】Deontic Logic in Computer Science 9783642315695 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783642315695 Author 作者 Agotnes Format 版本 平装-胶订 Pages Number 页数 215页 Publication Date 出版日期 2012-07-18 Shipping Weight 商品重量 355g Language 语种 英语 Book Contents 内容简介 This volume presents the refereed proceedings of the 11th International Conference on Deontic Logic in Computer Science, DEON 2012, held in Bergen, Norway, in July 2012. The 14 revised papers included in the volume were carefully reviewed and selected from 29 submissions. Topics covered include logical study of normative reasoning, formal analysis of normative concepts and normative systems, formal specification of aspects of norm-governed multi-agent systems and autonomous agents, normative aspects of protocols for communication, negotiation and multi-agent decision making, formal representation of legal knowledge, formal specification of normative systems for the management of
¥560.00
预订 Deontic Logic in Computer Science: 11th International Con 【全球购】进口原版图书，约3-6周到达国内后发出
¥450.00
海外直订Handbook of Logic in Computer Science: Volume 1.... 计算机科
¥6220
【预订】Handbook of Logic in Computer Science: Volume 1. Backgro 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9780198537359 Author 作者 Abramsky S. Format 版本 精装 Pages Number 页数 840页 Publisher 出版社 Oxford University Press Publication Date 出版日期 1992-12-10 Shipping Weight 商品重量 1253g Language 语种 英语 Book Contents 内容简介 A multi-volume work covering all major areas of application of logic to theoretical computer science. The authors are chosen on an international basis and are leaders in the fields covered.
¥5737
【预订】Handbook of Logic in Computer Science: Volume 3: 美国库房发货，通常付款后3-5周到货！
¥5737
【预订】Handbook of Logic in Computer Science: Volume 4: 美国库房发货，通常付款后3-5周到货！
¥5737
海外直订Handbook of Logic in Computer Science: Volume 2.... 计算机科
¥6864
【预订】Handbook of Logic in Computer Science: Volume 5: 美国库房发货，通常付款后3-5周到货！
¥6926
【预订】Handbook of Logic in Computer Science: Volume 2: 美国库房发货，通常付款后3-5周到货！
¥6332
【3-6周达】Handbook of Logic in Computer Science: Volume 5: Logi 【全球购】进口原版图书，预计3-6周左右到国内
¥5723
海外直订Deontic Logic in Computer Science: 7th International Wor
¥553.00
【预订】Categories in Computer Science and Logic 9780821851005 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9780821851005 Author 作者 John W. Gray Format 版本 平装-胶订 Pages Number 页数 382页 Publisher 出版社 American Mathematical Society (AMS) Publication Date 出版日期 1989-12-31 Language 语种 英语 Book Contents 内容简介 Category theory has had important uses in logic since the invention of topos theory in the early 1960s, and logic has always been an important component of theoretical computer science. A new development has been the increase in direct interactions between category theory and computer science. In June 1987, an AMS-IMS-SIAM Summer Research Conference on Categories in Computer Science and Logic was held at the University of Colorado in Boulder. The aim of the conference was to bring together researchers working on the interconnections between category theory and computer science or between computer science and logic. The conference emphasized t
¥1318
Fuzzy Logic Applications in Computer Science and Mathematics 现货图书
Product Details 基本信息 ISBN-13 书号 9781394174539 Author 作者 Ashok Kumar Shaw Format 版本 精装 Pages Number 页数 304页 Publisher 出版社 Wiley Publication Date 出版日期 2023-09-26 Language 语种 其它（含多语）
¥1940
【预订】Structures in Logic and Computer Science 9783540632467 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540632467 Author 作者 Mycielski Format 版本 平装-胶订 Pages Number 页数 376页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 1997-07-23 Language 语种 英语 Book Contents 内容简介 This book is dedicated to Andrzej Ehrenfeucht on the occasion of his 65th birthday. On personal invitation by the volume editors, 22 internationally well-known scientists from mathematical logics and theoretical computer science participated in this project honoring an excellent scientist with excellent papers centered around his scientific work.The 22 invited papers are presented in topical sections on model theory, games and logic, graphs and algorithms, pattern matching and learning, combinatorics of words, algebra of languages, formal language theory, and computational molecular biology.
¥608.00
海外直订Structures in Logic and Computer Science: A Selection of
¥553.00
预订 Structures in Logic and Computer Science: A Selection of 【全球购】进口原版图书，约3-6周到达国内后发出
¥479.00
海外直订Mathematical Fuzzy Logic in the Emerging Fields of Engin
¥805.00
【预订】Advances in Contemporary Logic and Computer Science 9780 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9780821813645 Author 作者 Walter A. Carnielli Format 版本 平装-胶订 Pages Number 页数 326页 Publisher 出版社 American Mathematical Society (AMS) Publication Date 出版日期 1999-07-30 Language 语种 其它（含多语） Book Contents 内容简介 This volume presents the proceedings from the Eleventh Brazilian Logic Conference on Mathematical Logic held by the Brazilian Logic Society (co-sponsored by the Centre for Logic, Epistemology and the History of Science, State University of Campinas, S o Paolo) in Salvador, Bahia, Brazil. The conference and the volume are dedicated to the memory of professor M rio Tourasse Teixeira, an educator and researcher who contributed to the formation of several generations of Brazilian logicians. Contributions were made from leading Brazilian logicians and their Latin-American and European colleagues. All papers were selected by a
¥1467
海外直订Ewa Orlowska on Relational Methods in Logic and Computer
¥1447
3-6周达 Ewa Orlowska on Relational Methods in Logic and Comput 【全球购】进口原版图书，预计3-6周左右到国内
¥1257
海外直订Representation Theorems in Computer Science: A Treatment
¥997.00
海外直订Representation Theorems in Computer Science: A Treatment
¥895.00
3-6周达 Representation Theorems in Computer Science: A Treatme 【全球购】进口原版图书，预计3-6周左右到国内
¥995.00
【预订】Fork Algebras in Algebra, Logic and Computer Science 978 美国库房发货，通常付款后3-5周到货！
¥871.00
预订 Representation Theorems in Computer Science: A Treatment 【全球购】进口原版图书，预计3-6周左右到国内
¥995.00
【预订】Samson Abramsky on Logic and Structure in Computer Scien 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783031241161 Author 作者 Alessandra Palmigiano Format 版本 精装 Pages Number 页数 1030页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2023-04-08 Language 语种 其它（含多语） Book Contents 内容简介 Samson Abramsky’s wide-ranging contributions to logical and structural aspects of Computer Science have had a major influence on the field. This book is a rich collection of papers, inspired by and extending Abramsky’s work. It contains both survey material and new results, organised around six major themes: domains and duality, game semantics, contextuality and quantum computation, comonads and descriptive complexity, categorical and logical semantics, and probabilistic computation. These relate to different stages and aspects of Abramsky’s work, reflecting its exceptionally broad scope and his ability to illuminate and unify diverse top
¥2068
预订 Algebraic Logic and Universal Algebra in Computer Science 【全球购】进口原版图书，约3-6周到达国内后发出
¥457.00
海外直订Algebraic Logic and Universal Algebra in Computer Scienc
¥553.00
预订 Applications of Fuzzy Logic in Computer Network Theory [I 【全球购】进口原版图书，一般5-8周左右到国内
¥442.00
Logic in Computer Science 面向计算机科学的数理逻辑系统建模与推理 Michael Huth
¥829.00
英文原版 Logic in Computer Science 面向计算机科学的数理逻辑系统建模与推理 Michael H
¥829.00
预订Linear Logic in Computer Science 预订，预计下单后3-4周左右发货！
¥532.00
Deontic Logic in Computer Science计算机科学中的道义逻辑/会议录
¥447.50
预订Fuzzy Logic Applications in Computer Science a 预订，预计下单后3-6周左右发货！
¥2778
海外直订Fork Algebras in Algebra, Logic and Computer Science 代数、
¥976.00
海外直订Applications of Fuzzy Logic in Computer Network Theory 模
¥509.00
Functional and Logic Programming功能与逻辑设计
¥325.80
