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

Online Public Access Catalogue

题名/责任者:

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)

电子资源:

http://link.springer-ny.com/link/service/series/0558/tocs/t2142.htm

豆瓣简介：