Record:   Prev Next
作者 International Workshop on Types for Proofs and Programs (2000 : Durham, Enbland)
書名 Types for proofs and programs : international workshop, TYPES 2000, Durham, UK, December 8-12, 2000 : selected papers / Paul Callaghan ... [et al.] (Eds.)
出版項 Berlin : Springer, 2002
國際標準書號 3540432876 (pbk.)
book jacket
館藏地 索書號 處理狀態 OPAC 訊息 條碼
 資訊所圖書室叢書區  SerPro F3.3 T991 2000  LNCS 2277    館內使用    30330000151543
說明 viii, 242 p. ; 24 cm
系列 Lecture notes in computer science, 0302-9743 ; 2277
附註 Includes bibliographical references and index
Also available online
主題 Automatic theorem proving -- Congresses
Computer programming -- Congresses
Alt Author Callaghan, Paul
Alt Title TYPES 2000
Record:   Prev Next