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. |