江汉大学图书馆书目检索系统

Online Public Access Catalogue

题名/责任者:

Proof theory in computer science : international seminar, PTCS 2001, Dagstuhl Castle, Germany, October 7-12, 2001 : proceedings / Reinhard Kahle, Peter Schroeder-Heister, Robert St?rk (eds.).

出版发行项:

Berlin ; New York : Springer, c2001.

ISBN:

354042752X (softcover : alk. paper)

载体形态项:

viii, 238 p. : ill. ; 24 cm.

变异题名:

PTCS 2001

丛编题名:

Lecture notes in computer science, 0302-9743 ; 2183

会议名称:

PTCS 2001 (2001 : Dahgstuhl Castle)

附加个人名称:

Kahle, Reinhard, 1967-

附加个人名称:

Schroeder-Heister, Peter Joseph, 1953-

附加个人名称:

St?rk, Robert F., 1963-

论题主题:

Automatic theorem proving-Congresses.

中图法分类号:

TP301-532

中图法分类号:

TP301

书目附注:

Includes bibliographical references and index.

载体形态附注:

Available also through Springer LINK.

电子资源:

http://springerlink.com/openurl.asp?genre=issue&issn=0302-9743&volume=2183&issue=preprint

豆瓣简介：