儲存已註記</a>
<span name='save_page_btn1' id='save_page_btn1' style='visibility: visible' ><a href= 儲存本頁所有記錄
作者 (1-2 之 2)
Special Session on Automatic Theorem Proving (1983 : Denver, Colo.)
1
book jacket

Automated theorem proving : after 25 years
Special Session on Automatic Theorem Proving (1983 : Denver, Colo.)
Providence, R.I. : American Mathematical Society, 1984
 
1984
紙本資料

館藏地: 數學所圖書室
館藏地 索書號 處理狀態 OPAC 訊息 條碼
 數學所圖書室  QA76.9.A96 S64    在架上    30340200197378
2
book jacket

Automated theorem proving after 25 years
Special Session on Automatic Theorem Proving (1983 : Denver, Colo.)
Providence, R.I. : American Mathematical Society, 1984
1984
電子書

館藏地: 數學所圖書室
儲存已註記</a>
<span name='save_page_btn2' id='save_page_btn2' style='visibility: visible' ><a href= 儲存本頁所有記錄