登入選單

返回Google圖書搜尋

Propagation: a New Operation in a Framework for Abstract Interpretation of Logic Programs

M. BruynoogheG. Janssens

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