Record:   Prev Next
作者 TABLEAUX'98 (1998 : Oisterwijk, Netherlands)
書名 Automated reasoning with analytic tableaux and related methods : International Conference, TABLEAUX'98, Oisterwijk, The Netherlands, May 5-8, 1998 : proceedings / Harrie de Swart, ed
出版項 Berlin ; New York : Springer, c1998
國際標準書號 3540644067 (pbk. : alk. paper)
book jacket
館藏地 索書號 處理狀態 OPAC 訊息 條碼
 資訊所圖書室叢書區  SerPro F4.1 A532 1998  LNCS 1397    館內使用    30330000127238
 數學所圖書室  QA75.5 .L42  v.1397    在架上    30340200373524
說明 x, 324 p. : ill. ; 24 cm
系列 Lecture notes in computer science, 0302-9743 ; 1397. Lecture notes in artificial intelligence
Lecture notes in computer science ; 1397
Lecture notes in computer science Lecture notes in artificial intelligence
附註 "This volume contains the papers presented at TABLEAUX'98, the International Conference on Analytic Tableaux and Related Methods, held on May 5-8, 1998 in Oisterwijk (conference centre Boschoord), near Tilburg, the Netherlands"--Preface
Includes bibliographical references and index
Also available online
主題 Automatic theorem proving -- Congresses
Artificial intelligence -- Congresses
Alt Author Swart, H. C. M. de
Record:   Prev Next