登入選單

返回Google圖書搜尋

Towards average complexity of propositional binary Prolog programs

Hans Kleine BüningUlrich Löwen

出版	Fachber., Univ., 1988
URL	http://books.google.com.hk/books?id=pw_yHAAACAAJ&hl=&source=gbs_api