登入
選單
返回
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
URL
http://books.google.com.hk/books?id=guXiGwAACAAJ&hl=&source=gbs_api