书目信息 机读格式(MARC)
Isabelle/HOL :
| ISBN： | 3-540-43376-7 (softcover : alk. paper) |
|---|---|
| 编目源： | DLC DLC C$Q OHX UKM C#P CVU |
| 语种代码： | eng |
| 个人名称： | Nipkow, Tobias,1958- |
| 题名： | Isabelle/HOL : a proof assistant for higher-order logic / Tobias Nipkow, Lawrence C. Paulson, Markus Wenzel. |
| 出版发行项： | Berlin ; New York : Springer, c2002. |
| 载体形态： | xiii, 218 p. : ill. ; 24 cm. |
| 一般附注： | "Tutorial"--Cover. |
| 书目附注： | Includes bibliographical references (p. [209]-211) and index. |