【预订】Proof Theory in Computer Science 9783540427520 国外库房发货，通常付款后3-5周到货！

Product Details 基本信息 ISBN-13 书号 9783540427520 Author 作者 Kahle Format 版本 平装-胶订 Pages Number 页数 246页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2001-09-28 Language 语种 英语 Book Contents 内容简介 Proof theory has long been established as a basic discipline of mathematical logic. It has recently become increasingly relevant to computer science. The - ductive apparatus provided by proof theory has proved useful for metatheoretical purposes as well as for practical applications. Thus it seemed to us most natural to bring researchers together to assess both the role proof theory already plays in computer science and the role it might play in the future. The form of a Dagstuhl seminar is most suitable for purposes like this, as Schlo? Dagstuhl provides a very convenient and stimulating environment to - scuss new ideas and developments. To accompany the conference wi

¥608.00

中国进口图书旗舰店

Kahle /2001-09-28 /Springer Berlin Heidelberg

3-6周达 Proof Theory in Computer Science: International Semina 【全球购】进口原版图书，一般3-6周左右到国内后发出

¥640.00

书之源外文图书

Kahle, Reinhard /2001-09-28 /Springer

海外直订Proof Theory in Computer Science: International Seminar,

¥553.00

中华商务进口图书旗舰店

Kahle, Reinhard /2001-09-27 /Springer

Proof Theory in Computer Science 计算机科学中的证明理论

¥153.70

Reinhard Kahle, Peter Schroeder-Heister 著 /2001-01-01