主畫面 | 輔助說明 | 重新查詢 | English Mode

中研院圖書館首頁


重新查詢 Hold this item 轉出資料 MARC 顯示 返回瀏覽 其他查詢
   
Record:   Prev Next
書名 Automated reasoning with analytic tableaux and related methods : International Conference, TABLEAUX 2000, St Andrews, Scotland, UK, July 3-7, 2000 : proceedings / Roy Dyckhoff (ed.)
出版項 Berlin ; New York : Springer, c2000
國際標準書號 354067697X
 book jacket
館藏地 索書號 處理狀態 OPAC 訊息 條碼
 資訊所圖書室叢書區  SerPro F4.1 A532 2000  LNCS 1847    館內使用    30330000141817
說明 x, 440 p. : ill, charts ; 24 cm
系列 Lecture notes in computer science ; 1847. Lecture notes in artificial intelligence
附註 Includes bibliographical references and index
主題 Automatic theorem proving -- Congresses
Parallel processing (Electronic computers) -- Congresses
Reasoning iisf
Analytic tableaux iisf
Alt Author International Conference on Analytic Tableaux and Related Methods (2000 : St Andrews, Scotland)
Alt Title TABLEAUX 2000
Record:   Prev Next
重新查詢 Hold this item 轉出資料 MARC 顯示 返回瀏覽 其他查詢


主畫面 | 輔助說明 | English Mode