登入選單
返回Google圖書搜尋
What is Unification?
Joseph Goguen
其他書名
A Categorical View of Substitution, Equation, and Solution
出版CSLI/SRI International, 1988
URLhttp://books.google.com.hk/books?id=B-kbAQAAIAAJ&hl=&source=gbs_api