【预订】Intensional Logics for Programming 9780198537755 国外库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9780198537755 Author 作者 Farinas del Cerro Luis Format 版本 精装 Pages Number 页数 230页 Publisher 出版社 Oxford University Press Publication Date 出版日期 1992-08-27 Shipping Weight 商品重量 510g Language 语种 英语 Book Contents 内容简介 Intensional logics provide a theoretical basis for establishing the foundations of programming. This volume discusses the use of intensional logics for the semantical analysis of logic programs and about programming in intensional logics. For example, modal logic, temporal logic and linear logic prove to be useful to understand logic programs.
¥387.00
【预订】Classical American Philosophy: Poiesis in Public 9781350 国外库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9781350203945 Author 作者 Farinas Format 版本 平装-胶订 Pages Number 页数 264页 Publisher 出版社 Bloomsbury Academic Publication Date 出版日期 1800-01-01 Product Dimensions 商品尺寸 9.21 x 6.14 x 0.56 Shipping Weight 商品重量 0.83 Language 语种 其它(含多语)
¥320.00
预订Conditionals: From Philosophy to Computer Science 预订,预计下单后3-4周左右发货!
¥1895
生物系统逻辑建模 Logical Modeling Of Biological Systems 英文原版 Luis Fa LuisFarinasdelCerro
¥634.00
明星店铺 中华商务进口图书旗舰店
【预订】The Bloomsbury Handbook of Dance and Philosophy 97813501 国外库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9781350103474 Author 作者 Farinas Rebecca L.(其他) Format 版本 精装 Pages Number 页数 592页 Publisher 出版社 Bloomsbury Academic Publication Date 出版日期 1800-01-01 Language 语种 英语
¥1250
海外直订Logics in Artificial Intelligence: European Workshop, Je
¥553.00
明星店铺 中华商务进口图书旗舰店
预订 Judge Dredd: Mega-City Zero Volume 3 预订,预计下单后3-4周左右发货!
¥228.00
【预订】Regular Show Vol. 9 预订商品,平装,需要1-3个月发货,非质量问题不接受退换货。
¥155.75