MARC状态:审校 文献类型:西文图书 浏览次数:31
- 题名/责任者:
- 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.
- ISBN:
- 3540425543 (pbk. : alk. paper)
- 载体形态项:
- xii, 614 p. : ill. ; 24 cm.
- 变异题名:
- CSL 2001
- 丛编题名:
- Lecture notes in computer science, 0302-9743 ; 2142
- 会议名称:
- Workshop on Computer Science Logic (15th : 2001 : Paris, France)
- 附加个人名称:
- Fribourg, Laurent, 1957-
- 附加团体名称:
- European Association for Computer Science Logic. Conference (10th : 2001 : Paris, France)
- 附加团体名称:
- LINK (Online service)
- 论题主题:
- Computer logic-Congresses.
- 中图法分类号:
- TP301-532
- 中图法分类号:
- TP301
- 载体形态附注:
- Also available via the World Wide Web. (Restricted to LINK subscribers)
全部MARC细节信息>>