【预订】Computer Science Logic 9783540749141 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540749141 Author 作者 Jacques Duparc Format 版本 平装-胶订 Pages Number 页数 600页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2007-08-30 Language 语种 英语 Book Contents 内容简介 The 36 revised full papers presented together with the abstracts of six invited lectures are organized in topical sections on logic and games, expressiveness, games and trees, logic and deduction, lambda calculus, finite model theory, linear logic, proof theory, and game semantics.
¥1217
【预订】Computer Science Logic 9783540678953 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540678953 Author 作者 Clote Format 版本 平装-胶订 Pages Number 页数 550页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2000-08-09 Language 语种 英语
¥1217
【预订】Computer Science Logic 9783540665366 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540665366 Author 作者 Flum Format 版本 平装-胶订 Pages Number 页数 588页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 1999-09-08 Language 语种 英语 Book Contents 内容简介 The 1999 Annual Conference of the European Association for Computer Science Logic, CSL’99, was held in Madrid, Spain, on September 20-25, 1999. CSL’99 was the 13th in a series of annual meetings, originally intended as Internat- nal Workshops on Computer Science Logic, and the 8th to be held as the - nual Conference of the EACSL. The conference was organized by the Computer Science Departments (DSIP and DACYA) at Universidad Complutense in M- rid (UCM). The CSL’99 program committee selected 34 of 91 submitted papers for p- sentation at the conference and publication in this proceedings volume. Each submitted paper was refereed by at least two, and in almost all ca
¥608.00
【预订】Computer Science Logic 9783540454588 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540454588 Author 作者 ?sik Format 版本 平装-胶订 Pages Number 页数 627页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2006-09-20 Language 语种 英语 Book Contents 内容简介 Coverage includes automated deduction and interactive theorem proving, constructive mathematics and type theory, equational logic and term rewriting, automata and formal logics, modal and temporal logic, model checking, finite model theory, and more.
¥1217
【预订】Computer Science Logic 9783540230243 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540230243 Author 作者 Marcinkowski Format 版本 平装-胶订 Pages Number 页数 522页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2004-09-02 Language 语种 英语
¥608.00
【预订】Computer Science Logic 9783540631729 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540631729 Author 作者 Dalen Format 版本 平装-胶订 Pages Number 页数 479页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 1997-06-18 Language 语种 英语 Book Contents 内容简介 This book constitutes the strictly refereed post-workshop proceedings of the 10th International Workshop on Computer Science Logic, CSL’96, held as the 5th Annual Conference of the European Association of Computer Science Logic (EACSL), in Utrecht, The Netherlands, in September 1996.The volume presents 26 revised full papers selected from a total of initially 75 papers submitted; also included are two refereed invited contributions. The volume addresses all current issues in the area of computer science logic research, and is thus a unique record of recent progress in the area.
¥608.00
【预订】Computer Science Logic 9783540425540 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540425540 Author 作者 Fribourg Format 版本 平装-胶订 Pages Number 页数 628页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2001-08-29 Language 语种 英语
¥1217
【预订】Computer Science Logic 9783540659228 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540659228 Author 作者 Gottlob Format 版本 平装-胶订 Pages Number 页数 442页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 1999-04-28 Language 语种 英语
¥608.00
【预订】Computer Science Logic 9783540645702 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540645702 Author 作者 Nielsen Format 版本 平装-胶订 Pages Number 页数 520页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 1998-05-20 Language 语种 英语 Book Contents 内容简介 This book constitutes the strictly refereed post-workshop proceedings of the 11th International Workshop on Computer Science Logic, CSL ’97, held as the 1997 Annual Conference of the European Association on Computer Science Logic, EACSL, in Aarhus, Denmark, in August 1997.The volume presents 26 revised full papers selected after two rounds of refereeing from initially 92 submissions; also included are four invited papers. The book addresses all current aspects of computer science logics and its applications and thus presents the state of the art in the area.
¥608.00
【预订】Computer Science Logic 9783540282310 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540282310 Author 作者 Ong Format 版本 平装-胶订 Pages Number 页数 567页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2005-08-09 Language 语种 英语 Book Contents 内容简介 Constitutes the refereed proceedings of the 19th International Workshop on Computer Science Logic, CSL 2005, held as the 14th Annual Conference of the EACSL in Oxford, UK in August 2005. This volume is organized in topical sections on semantics and logics, type theory and lambda calculus, linear logic and ludics, finite models, and more.
¥608.00
【预订】Computer Science Logic 9783540442400 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540442400 Author 作者 Bradfield Format 版本 平装-胶订 Pages Number 页数 628页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2002-09-09 Language 语种 英语 Book Contents 内容简介 The Annual Conference of the European Association for Computer Science Logic, CSL 2002, was held in the Old College of the University of Edinburgh on 22–25 September 2002. The conference series started as a programme of Int- national Workshops on Computer Science Logic, and then in its sixth meeting became the Annual Conference of the EACSL. This conference was the sixteenth meeting and eleventh EACSL conference; it was organized by the Laboratory for Foundations of Computer Science at the University of Edinburgh. The CSL 2002 Programme Committee considered 111 submissions from 28 countries during a two week electronic discussion; each paper was refereed by at le
¥1217
【预订】Computer Science Logic 9783540408017 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540408017 Author 作者 Baaz Format 版本 平装-胶订 Pages Number 页数 596页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2003-08-18 Language 语种 英语 Book Contents 内容简介 This book constitutes the joint refereed proceedings of the 17th International Workshop on Computer Science Logic, CSL 2003, held as the 12th Annual Conference of the EACSL and of the 8th Kurt G?del Colloquium, KGC 2003 in Vienna, Austria, in August 2003. The 30 revised full papers presented together with abstracts of 9 invited presentations were carefully reviewed and selected from a total of 112 submissions. All current aspects of computer science logic are addressed ranging from mathematical logic and logical foundations to the application of logics in various computing aspects.
¥1217
3-6周达 Computer Science Logic: 14th International Workshop, C 【全球购】进口原版图书，一般3-6周左右到国内后发出
¥1278
【3-6周达】Computer Science Logic: 20th International Workshop, 【全球购】进口原版图书，预计3-6周左右到国内
¥1010
海外直订Computer Science Logic: 22nd International Workshop, CSL
¥1193
预订 Computer Science Logic: 18th International Workshop, CSL 【全球购】进口原版图书，一般5-8周左右到国内
¥652.00
海外直订Computer Science Logic: 5th Workshop, CSL '91, Berne, Sw
¥553.00
海外直订Computer Science Logic: 13th International Workshop, Csl
¥553.00
海外直订Computer Science Logic: 14th International Workshop, CSL
¥1033
海外直订Computer Science Logic: 6th Workshop, Csl'92, San Miniat
¥553.00
海外直订Computer Science Logic: 16th International Workshop, CSL
¥1033
预订 Computer Science Logic: 7th Workshop, CSL '93, Swansea, U 【全球购】进口原版图书，约3-6周到达国内后发出
¥479.00
海外直订Computer Science Logic: 8th Workshop, CSL '94, Kazimierz
¥1033
预订 Computer Science Logic: 23rd International Workshop, CSL 【全球购】进口原版图书，约3-6周到达国内后发出
¥995.00
预订 Computer Science Logic: 19th International Workshop, CSL 【全球购】进口原版图书，约3-6周到达国内后发出
¥512.00
预订 Computer Science Logic: 6th Workshop, Csl'92, San Miniato 【全球购】进口原版图书，约3-6周到达国内后发出
¥479.00
预订 Computer Science Logic: 16th International Workshop, CSL 【全球购】进口原版图书，一般5-8周左右到国内
¥1281
预订 Computer Science Logic: 5th Workshop, CSL '91, Berne, Swi 【全球购】进口原版图书，约3-6周到达国内后发出
¥479.00
海外直订Computer Science Logic: 20th International Workshop, CSL
¥1033
海外直订Computer Science Logic: 15th International Workshop, CSL
¥1033
3-6周达 Computer Science Logic [ISBN:9783642152047] 【全球购】进口原版图书，一般3-6周左右到国内后发出
¥507.00
3-6周达 Computer Science Logic: 15th International Workshop, C 【全球购】进口原版图书，一般3-6周左右到国内后发出
¥1281
海外直订Computer Science Logic: 7th Workshop, CSL '93, Swansea,
¥553.00
3-6周达 Computer Science Logic: 17th International Workshop, C 【全球购】进口原版图书，一般3-6周左右到国内后发出
¥1280
海外直订Computer Science Logic: 18th International Workshop, CSL
¥553.00
海外直订Computer Science Logic: 9th International Workshop, CSL
¥553.00
海外直订Computer Science Logic: 17th International Workshop, CSL
¥1033
海外直订Computer Science Logic: 19th International Workshop, CSL
¥553.00
海外直订Computer Science Logic: 11th International Workshop, Csl
¥553.00
预订 Computer Science Logic: 21 International Workshop, CSL 20 【全球购】进口原版图书，约3-6周到达国内后发出
¥995.00
海外直订Computer Science Logic: 21 International Workshop, CSL 2
¥1033
海外直订Computer Science Logic: 4th Workshop, CSL '90, Heidelber
¥553.00
海外直订Computer Science Logic: 10th International Workshop, CSL
¥553.00
海外直订Computer Science Logic 计算机科学逻辑
¥553.00
预订 Computer Science Logic: 22nd International Workshop, CSL 【全球购】进口原版图书，一般5-8周左右到国内
¥1186
海外直订CSL '89: 3rd Workshop on Computer Science Logic. Kaisers
¥553.00
海外直订Csl'88: 2nd Workshop on Computer Science Logic, Duisburg
¥553.00
海外直订CSL '87: 1st Workshop on Computer Science Logic, Karlsru
¥553.00
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
【预订】Logic for Computer Science: Foundations of Automatic The 美国库房发货，通常付款后3-5周到货！
¥444.00
【预订】Logic For Computer Science And Artificial Intelligence 9 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781848213012 Author 作者 Ricardo Caferra Format 版本 精装 Pages Number 页数 523页 Publisher 出版社 Wiley-ISTE Publication Date 出版日期 2011-08-08 Shipping Weight 商品重量 920g Language 语种 英语 Book Contents 内容简介 Logic and its components (propositional, first-order, non-classical) play a key role in Computer Science and Artificial Intelligence. While a large amount of information exists scattered throughout various media (books, journal articles, webpages, etc.
¥3101
计算机科学的逻辑 英文原版 Logic for Computer Science 自动定理证明的基础 第二版 Jean
¥259.00
3-6周达 Logic in Computer Science: Modelling and Reasoning abo 【全球购】进口原版图书，一般3-6周左右到国内后发出
¥661.00
预订 Logic in Computer Science 预订，预计下单后3-4周左右发货！
¥872.00
海外直订Logic in Computer Science 2ed 计算机科学逻辑2ED
¥719.00
预订 Logic in Computer Science 计算机科学逻辑: 9789819798155 国外库房发货，通常付款后3-5周到货
¥731.00
海外直订Logic and Computer Science 逻辑学与计算机科学
¥318.00
预订 Logic and Computer Science [ISBN:9783540527343] 【全球购】进口原版图书，约3-6周到达国内后发出
¥458.00
3-6周达 Logic For Computer Science And Artificial Intelligence 【全球购】进口原版图书，预计3-6周左右到国内
¥2277
预订 Logic from Computer Science: Proceedings of a Workshop He 【全球购】进口原版图书，一般5-8周左右到国内后发出
¥997.00
