登入選單

返回Google圖書搜尋

Operationen in erweiterten Typenunifikationsformalismen

Roland Seiffert

出版	IBM Deutschland, WT LILOG, 1988
URL	http://books.google.com.hk/books?id=R0A6HAAACAAJ&hl=&source=gbs_api