登入選單
返回Google圖書搜尋
A Tableau Based Automated Theorem Prover for Classical Logic
Melvin Fitting
其他書名
Technical Report
出版1987
URLhttp://books.google.com.hk/books?id=uy_TPgAACAAJ&hl=&source=gbs_api