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

中研院圖書館首頁


重新查詢 Hold this item 轉出資料 MARC 顯示 返回瀏覽 其他查詢
   
Record:   Prev Next
作者 TABLEAUX 2003 (2003 : Rome, Italy)
書名 Automated reasoning with analytic tableaux and related methods : international conference, TABLEAUX 2003, Rome, Italy, September 9-12, 2003 : proceedings / Marta Cialdea Mayer, Fiora Pirri (eds.)
出版項 Berlin ; New York : Springer, 2003
國際標準書號 3540407871 (alk. paper)
 book jacket
請按以下連結
Connect to this title online
館藏地 索書號 處理狀態 OPAC 訊息 條碼
 資訊所圖書室叢書區  SerPro F4.1 A532 2003  LNCS 2796    館內使用    30330000162037
說明 x, 270 p. : ill. ; 24 cm
系列 Lecture notes in computer science, 0302-9743 ; 2796. Lecture notes in artificial intelligence
Lecture notes in computer science ; 2796
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 Cialdea Mayer, Marta, 1956-
Pirri, Fiora, Dr
Alt Title TABLEAUX 2003
Record:   Prev Next
重新查詢 Hold this item 轉出資料 MARC 顯示 返回瀏覽 其他查詢


主畫面 | 輔助說明 | English Mode