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

中研院圖書館首頁


重新查詢 Hold this item 轉出資料 MARC 顯示 返回瀏覽 其他查詢
   
Record:   Prev Next
作者 TABLEAUX 2005 (2005 : Koblenz, Germany)
書名 Automated reasoning with analytic tableaux and related methods : international conference, TABLEAUX 2005, Koblenz, Germany, September 14-17, 2005 : proceedings / Bernhard Beckert (ed.)
出版項 Berlin ; New York : Springer, 2005
國際標準書號 3540289313 (pbk. : alk. paper)
 book jacket
請按以下連結
Connect to this title online
館藏地 索書號 處理狀態 OPAC 訊息 條碼
 資訊所圖書室叢書區  SerPro F4.1 A532 2005  LNCS 3702    館內使用    30330000177381
說明 xiii, 342 p. : ill. ; 24 cm
系列 Lecture notes in computer science, 0302-9743 ; 3702. Lecture notes in artificial intelligence
Lecture notes in computer science ; 3702
Lecture notes in computer science. Lecture notes in artificial intelligence
附註 Includes bibliographical references and author index
Also available online
主題 Automatic theorem proving -- Congresses
Reasoning iisf
Analytic tableaux iisf
Alt Author Beckert, Bernhard
Alt Title TABLEAUX 2005
Record:   Prev Next
重新查詢 Hold this item 轉出資料 MARC 顯示 返回瀏覽 其他查詢


主畫面 | 輔助說明 | English Mode