登入選單
返回Google圖書搜尋
其他書名
an axiomatic approach to unification, equation solving and constraint solving
出版Fachbereich Informatik, Univ. Kaiserslautern, 1988
URLhttp://books.google.com.hk/books?id=INkwHAAACAAJ&hl=&source=gbs_api