书目信息 机读格式(MARC)
Types for proofs and programs :
| ISBN： | 3-540-43287-6 (alk. paper) |
|---|---|
| 编目源： | DLC DLC OHX ORE UKM C$Q C#P CVU |
| 语种代码： | eng |
| 会议名称： | TYPES 2000 |
| 题名： | Types for proofs and programs : International Workshop, TYPES 2000, Durham, UK, December 8-12, 2000 : selected papers / Paul Callaghan ... [et al.], (eds.). |
| 出版发行项： | Berlin ; New York : Springer, c2002. |
| 载体形态： | viii, 242 p. : ill. ; 24 cm. |
| 书目附注： | Includes bibliographical references and index. |