登入選單

返回Google圖書搜尋

The Markgraf Karl refutation procedure

Hans Jürgen OhlbachJörg H. Siekmann

出版	Universität Kaiserslautern. Fachbereich Informatik. Artificial Intelligence Laboratories, 1989
URL	http://books.google.com.hk/books?id=kx9yGwAACAAJ&hl=&source=gbs_api