登入選單

返回Google圖書搜尋

On the Existence of Non-terminating Queries for a Restricted Class of PROLOG-clauses

D. De SchreyeM. BruynoogheK. Verschaetse

出版	Katholieke Universiteit Leuven. Departement Computerwetenschappen, 1989
URL	http://books.google.com.hk/books?id=ly8KrgEACAAJ&hl=&source=gbs_api