登入選單
返回Google圖書搜尋
其他書名
An Approach to Program Development in the Calculus of Constructions
出版LFCS, Department of Computer Science, University of Edinburgh, 1991
URLhttp://books.google.com.hk/books?id=Kz4bHQAACAAJ&hl=&source=gbs_api