登入選單
返回Google圖書搜尋
Workshop Theorem Proving with Analytic Tableaux and Related Methods
其他書名
March 18-20, 1992 in Lautenbach
出版Inst. für Logik, Komplexität und Deduktionssysteme, 1992
URLhttp://books.google.com.hk/books?id=guXiGwAACAAJ&hl=&source=gbs_api