Record:   Prev Next
作者 Nordström, Bengt
書名 Programming in Martin-Löf's type theory : an introduction / Bengt Nordström, Kent Petersson, and Jan M. Smith
出版項 Oxford : Clarendon Press ; New York : Oxford University Press, 1990
國際標準書號 0198538146
book jacket
館藏地 索書號 處理狀態 OPAC 訊息 條碼
 數學所圖書室  QA76.6 N66 1990    在架上    30340200257313
 資訊所圖書室圖書區  D3.1 N832    在架上    30330000099163
Record:   Prev Next