Record:   Prev Next
作者 International Workshop on Types for Proofs and Programs (1999 : Lokeberg, Sweden)
書名 Types for proofs and programs : international workshop, TYPES '99, Lökeberg, Sweden, June 12-16, 1999 : selected papers / Thierry Coquand ... [et al.], (Eds.)
出版項 New York : Springer, 2001
國際標準書號 3540415173 (softcover : alk. paper)
book jacket
館藏地 索書號 處理狀態 OPAC 訊息 條碼
 資訊所圖書室叢書區  SerPro F3.3 T991 1999  LNCS 1956    館內使用    30330000146253
說明 193 p. ; 24 cm
系列 Lecture notes in computer science ; 1956
附註 Includes bibliographical references and index
Also available online
主題 Automatic theorem proving -- Congresses
Computer programming -- Congresses
Type theory -- Congresses
Alt Author Coquand, Thierry, 1961-
Alt Title TYPES 1999
Record:   Prev Next