书目信息 机读格式(MARC)
Computer science logic :
| ISBN： | 3540425543 (pbk. : alk. paper) |
|---|---|
| 编目源： | DLC DLC OHX C$Q C#P CVU |
| 语种代码： | eng |
| 会议名称： | CSL 2001 |
| 题名： | Computer science logic : 15th international workshop, CSL 2001, 10th annual conference of the EACSL, Paris, France, September 10-13, 2001 : proceedings / Laurent Fribourg (ed.). |
| 出版发行项： | Berlin : New York : Springer, c2001. |
| 载体形态： | xii, 614 p. : ill. ; 24 cm. |
| 丛编说明： | Lecture notes in computer science, 0302-9743 ; 2142. |
| 书目附注： | Includes bibliographical references and index. |