登入選單

返回Google圖書搜尋

A Type System for Logic Programs

Mekhon Ṿaitsman le-madaʻ. Department of Applied Mathematics and Computer ScienceE. YardeniE. Shapiro

出版	Weizmann Institute of Science. Department of Applied Mathematics, 1987
URL	http://books.google.com.hk/books?id=Pn12HAAACAAJ&hl=&source=gbs_api