MARC状态:已编 文献类型:西文图书 浏览次数:52
- 题名/责任者:
- Logic based program synthesis and transformation : 10th international workshop, LOPSTR 2000, London, UK, July 24-28, 2000 : selected papers / Kung-Kiu Lau (ed.).
- 出版发行项:
- Berlin ; New York : Springer, c2001.
- ISBN:
- 3540421270 (pbk. : alk. paper) :
- 载体形态项:
- viii, 181 p. : ill. ; 24 cm.
- 变异题名:
- LOPSTR 2000
- 丛编题名:
- Lecture notes in computer science, 0302-9743 ; 2042
- 会议名称:
- International Workshop on Logic Program Synthesis and Transformation (10th : 2000 : London, England)
- 附加个人名称:
- Lau, K.-K. (Kung-Kiu), 1953-
- 论题主题:
- Logic programming-Congresses.
- 中图法分类号:
- TP311-53
- 书目附注:
- Includes bibliographical references and index.
- 载体形态附注:
- Available also through Springer LINK.
- 随书光盘:
全部MARC细节信息>>