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

Online Public Access Catalogue

题名/责任者:

Types for proofs and programs : International Workshop, TYPES 2000, Durham, UK, December 8-12, 2000 : selected papers / Paul Callaghan ... [et al.] (eds.).

出版发行项:

Berlin ; New York : Springer, c2002.

ISBN:

3540432876 (alk. paper)

载体形态项:

viii, 242 p. : ill. ; 24 cm.

变异题名:

TYPES 2000

丛编题名:

Lecture notes in computer science, 0302-9743 ; 2277

会议名称:

TYPES 2000 (2000 : Durham, England)

附加个人名称:

Callaghan, Paul, 1970-

附加团体名称:

LINK (Online service)

论题主题:

Automatic theorem proving-Congresses.

论题主题:

Computer programming-Congresses.

中图法分类号:

TP311.1-532

中图法分类号:

TP311.1

书目附注:

Includes bibliographical references and index.

载体形态附注:

Available also through SpringerLink via the World Wide Web. Adobe Acrobat Reader required.

电子资源:

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

豆瓣简介：