江汉大学图书馆书目检索系统

Online Public Access Catalogue

题名/责任者:

Constraints in computational logics : theory and applications : international summer school, CCL'99, Gif-sur-Yvette, France, September 5-8, 1999, revised lectures / Hubert Comon, Claude Marché, Ralf Treinen (eds.).

出版发行项:

Berlin ; New York : Springer, c2001.

ISBN:

3540419500 (pbk. : alk. paper)

载体形态项:

xii, 309 p. : ill. ; 24 cm.

变异题名:

CCL'99

丛编说明:

Lecture notes in computer science, 0302-9743 ; 2002. Tutorial

丛编统一题名:

Lecture notes in computer science ; 2002.

丛编统一题名:

Lecture notes in computer science. Tutorial.

会议名称:

CCL'99 (1999 : Gif-sur-Yvette, France)

附加个人名称:

Comon, Hubert.

附加个人名称:

Marché, Claude.

附加个人名称:

Treinen, Ralf.

附加团体名称:

ESPRIT CCL Working Group.

论题主题:

Constraint programming (Computer science)-Congresses.

论题主题:

Logic programming-Congresses.

中图法分类号:

O141-532

中图法分类号:

O141

一般附注:

Lectures at the summer school organized by the ESPRIT CCL Working Group in Gif-sur-Yvette, France, September 1999.

书目附注:

Includes bibliographical references.

载体形态附注:

Also available via the World Wide Web.

电子资源:

http://springerlink.com/openurl.asp?genre=issue&issn=0302-9743&volume=2002&issue=preprint

豆瓣简介：