3-6周达 Euclid and His Twentieth Century Rivals: Diagrams in t 【全球购】进口原版图书，预计3-6周到达国内后发出

¥324.00

书之源外文图书

Miller,Nathaniel /2007-04-01 /Center for the Study of Language and Informat

【预订】Algebras, Diagrams and Decisions in Language, Logic and 国外库房发货，通常付款后3-5周到货！

Product Details 基本信息 ISBN-13 书号 9781575863726 Format 版本 平装-胶订 Pages Number 页数 183页 Publisher 出版社 *USCHP00 Publication Date 出版日期 2002-08-15 Product Dimensions 商品尺寸 22.8 x 15.4 x 1.1 cm Shipping Weight 商品重量 0.3 kg Language 语种 其它（含多语） Book Contents 内容简介 This exemplary volume shows how the shared interests of three different research areas can lead to significant and fruitful exchanges: six papers each very accessibly present an exciting contribution to the study and uses of algebras, diagrams, and decisions, ranging from indispensable overview papers about shared formal members to inspirational applications of formal tools to specific problems. Contributors include Pieter Adriaans, Sergei Artemov, Steven Givant, Edward Keenan, Almerindo Ojeda, Patrick Scotto di Luzio, and Edward

¥267.00

中国进口图书旗舰店

暂无作者信息 /2002-08-15 /*USCHP00

【3-6周达】Algebras, Diagrams and Decisions in Language, Logic a 【全球购】进口原版图书，预计3-6周左右到国内

¥366.00

书之源外文图书

Vermeulen,Kees;Copestake,Ann /2002-08-15 /Center for the Study of Language and Informat

海外直订Ladder Logic Basics: Ladder Logic Tutorial With Ladder L

¥121.00

中华商务进口图书旗舰店

Engwer, Tracy /2021-03-25 /Independently Published