ISBN: | 3-540-42752-X (softcover : alk. paper) |
---|---|
编目源: | DLC DLC OHX ORE UKM C$Q C#P CVU |
语种代码: | eng |
会议名称: | PTCS 2001 |
题名: | 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. |
载体形态: | viii, 238 p. : ill. ; 24 cm. |
丛编说明: | Lecture notes in computer science, 0302-9743 ; 2183. |
书目附注: | Includes bibliographical references and index. |