Record:   Prev Next
作者 International Workshop on Types for Proofs and Programs (2002 : Berg en Dal, Netherlands)
書名 Types for proofs and programs : international workshop, TYPES 2002, Berg en Dal, The Netherlands, April 24-28, 2002 : selected papers / Hermann Geuvers, Freek Wiedijk (eds.)
出版項 Berlin : Springer, 2003
國際標準書號 354014031X (softcover : alk. paper)
book jacket
館藏地 索書號 處理狀態 OPAC 訊息 條碼
 資訊所圖書室叢書區  SerPro F3.3 T991 2002  LNCS 2646    館內使用    30330000159488
說明 viii, 330 p. : some ill. ; 24 cm
系列 Lecture notes in computer science, 0302-9743 ; 2646
附註 Includes bibliographical references and index
Also available online
主題 Automatic theorem proving -- Congresses
Computer programming -- Congresses
Alt Author Geuvers, Herman, 1964-
Wiedijk, Freek, 1961-
Alt Title TYPES 2002
Record:   Prev Next