登入
選單
返回
Google圖書搜尋
Concurrent Term Rewriting as a Model of Computation
Joseph Goguen
Claude Kirchner
José Meseguer
出版
SRI International, Computer Science Laboratory
, 1987
URL
http://books.google.com.hk/books?id=T-73PgAACAAJ&hl=&source=gbs_api