登入
選單
返回
Google圖書搜尋
The Connection Between Two Ways of Reasoning about Partial Functions
J. S. Fitzgerald
出版
University of Newcastle upon Tyne, Computing Science
, 2007
URL
http://books.google.com.hk/books?id=OcFmPgAACAAJ&hl=&source=gbs_api