Record:   Prev Next
作者 TABLEAUX 2002 (2002 : Copenhagen, Denmark)
書名 Automated reasoning with analytic tableaux and related methods : International Conference, TABLEAUX 2002, Copenhagen, Denmark, July/August 2002 : proceedings / Uwe Egly, Christian G. Fermüller (eds.)
出版項 Berlin ; New York : Springer, 2002
國際標準書號 354067697X
book jacket
館藏地 索書號 處理狀態 OPAC 訊息 條碼
 資訊所圖書室叢書區  SerPro F4.1 A532 2002  LNCS 2381    館內使用    30330000153572
說明 x, 339 p. : ill. ; 24 cm
系列 Lecture notes in computer science ; 2381. Lecture notes in artificial intelligence
Lecture notes in computer science ; 2381
Lecture notes in computer science. Lecture notes in artificial intelligence
附註 Includes bibliographical references and index
Also available online
主題 Automatic theorem proving -- Congresses
Reasoning iisf
Analytic tableaux iisf
Alt Author Egly, Uwe
Fermüller, Christian G.
International Conference on Analytic Tableaux and Related Methods (2002 : Copehnagen, Denmark)
Alt Title TABLEAUX 2002
Record:   Prev Next