登入選單
返回Google圖書搜尋
Completeness, Confluence, and Related Properties of Clause Graph Resolution
Norbert Eisinger
出版Pitman, 1991
ISBN02730884089780273088400
URLhttp://books.google.com.hk/books?id=FSKFAAAAIAAJ&hl=&source=gbs_api