儲存已註記</a>
<span name='save_page_btn1' id='save_page_btn1' style='visibility: visible' ><a href= 儲存本頁所有記錄
作者 (1-2 之 2)
Chang, Chin-Liang, 1937-
1
 

Symbolic logic and mechanical theorem proving
Chang, Chin-Liang, 1937-
New York, Academic Press [1973]
 
1973
紙本資料

館藏地: 數學所圖書室
館藏地 索書號 處理狀態 OPAC 訊息 條碼
 數學所圖書室  QA9 C483 1973    在架上    30340200089799
2
book jacket

Symbolic logic and mechanical theorem proving
Chang, Chin-Liang, 1937-
Boston : Academic Press, 1987, c1973
 
1987
紙本資料

館藏地: 數學所圖書室, 資訊所圖書室
館藏地 索書號 處理狀態 OPAC 訊息 條碼
 數學所圖書室  QA9 C483 1987    在架上    30340200209538
 資訊所圖書室圖書區  I2.3 C4565    在架上    30330000022900
儲存已註記</a>
<span name='save_page_btn2' id='save_page_btn2' style='visibility: visible' ><a href= 儲存本頁所有記錄