登入選單
返回Google圖書搜尋
A Unification Algorithm for Type Theory
Gérard Huet (informaticien.)
出版LABORIA, 1973
URLhttp://books.google.com.hk/books?id=ZvuCQwAACAAJ&hl=&source=gbs_api