登入選單
返回Google圖書搜尋
The Bounded Linear Calculus [microform] : a Characterization of the Class of Polynomial-time Computable Functions Based on Bounded Linear Logic
François Pitt
出版Thesis (M.Sc.)--University of Toronto, 1994
ISBN03159236879780315923683
URLhttp://books.google.com.hk/books?id=hmLijgEACAAJ&hl=&source=gbs_api