Record:   Prev Next
書名 Isabelle/HOL : a proof assistant for higher-order logic / Tobias Nipkow, Lawrence C. Paulson, Markus Wenzel
出版項 Berlin ; New York : Springer, 2002
國際標準書號 3540433767 (softcover : alk. paper)
book jacket
館藏地 索書號 處理狀態 OPAC 訊息 條碼
 資訊所圖書室叢書區  Ser F4.1 I74  LNCS 2283    在架上    30330000151782
說明 xiii, 218 p. ; 24 cm
系列 Lecture notes in computer science, 0302-9743 ; 2283
附註 Includes bibliographical references and index
Also available online
主題 Computer logic
Automatic theorem proving
Alt Author Nipkow, Tobias, 1958-
Paulson, Lawrence C
Wenzel, Markus
Record:   Prev Next