登入選單

返回Google圖書搜尋

A Natural Deduction Treatment of Operational Semantics

University of Edinburgh. Laboratory for Foundations of Computer ScienceRod M. BurstallFurio Honsell

出版	Laboratory for Foundations of Computer Science, Department of Computer Science, University of Edinburgh, 1988
URL	http://books.google.com.hk/books?id=KPRRHAAACAAJ&hl=&source=gbs_api