登入
選單
返回
Google圖書搜尋
Order-sorted Algebra Solves the Constructor-selector, Multiple Representation and Coercion Problems
Joseph Goguen
José Meseguer
Center for the Study of Language and Information (U.S.)
出版
Center for the study of Language and Information
, 1987
URL
http://books.google.com.hk/books?id=FGmmGQAACAAJ&hl=&source=gbs_api
