Record:   Prev Next
書名 Experimental results on propositional theorem proving with boolean ring = 布爾環下零階邏輯定理證明的一些實驗性結果 / 詹仁良
出版項 Taipei : National Taiwan University, 1997
館藏地 索書號 處理狀態 OPAC 訊息 條碼
 資訊所圖書室論文區  Diss F4.1 C454 1997    在架上    30330000122593
說明 77 p. ; 27 cm
附註 Thesis (Master)--National Taiwan University, 1997
Includes bibliographical references
主題 Logic iisf
Boolean iisf
Mathematics iisf
Alt Author 詹仁良
Alt Title 布爾環下零階邏輯定理證明的一些實驗性結果
Record:   Prev Next