中国农业大学图书馆书目检索系统

Online Public Access Catalogue

题名/责任者:

Isabelle/HOL : a proof assistant for higher-order logic / Tobias Nipkow, Lawrence C. Paulson, Markus Wenzel.

出版发行项:

Berlin ; New York : Springer, c2002.

ISBN:

3540433767 (softcover : alk. paper) :

载体形态项:

xiii, 218 p. : ill. ; 24 cm.

丛编说明:

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

丛编统一题名:

Lecture notes in computer science ; 2283.

丛编统一题名:

Lecture notes in computer science. Tutorial.

个人责任者:

Nipkow, Tobias, 1958-

附加个人名称:

Paulson, Lawrence C.

附加个人名称:

Wenzel, Markus.

论题主题:

Computer logic.

论题主题:

Automatic theorem proving.

中图法分类号:

TP301.6

书目附注:

Includes bibliographical references (p. [209]-211) and index.

载体形态附注:

Also available via the World Wide Web.

豆瓣简介：

随书光盘: