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

Online Public Access Catalogue

题名/责任者:

Theorem proving in higher order logics : 14th international conference, TPHOLs 2001, Edinburgh, Scotland, UK, September 3-6, 2001 : proceedings / Richard J. Boulton, Paul B. Jackson (eds.).

出版发行项:

Berlin ; New York : Springer, c2001.

ISBN:

354042525X (pbk. : alk. paper)

载体形态项:

x, 393 p. : ill. ; 24 cm.

变异题名:

TPHOLs 2001

丛编题名:

Lecture notes in computer science, 0302-9743 ; 2152

会议名称:

TPHOLs 2001 (2001 : Edinburgh, Scotland)

附加个人名称:

Boulton, Richard J., 1967-

附加个人名称:

Jackson, Paul B., 1962-

附加团体名称:

LINK (Online service)

论题主题:

Automatic theorem proving-Congresses.

中图法分类号:

TP18-532

书目附注:

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=2152&issue=preprint

豆瓣简介：