Record:   Prev Next
作者 Truth Maintenance Workshop (1990 : Stockholm, Sweden)
書名 Truth maintenance systems : ECAI-90 workshop, Stockholm, Sweden, August 6, 1990 : proceedings / J.P. Martins, M. Reinfrank, eds
出版項 Berlin ; New York : Springer-Verlag, c1991
國際標準書號 3540543058 (Berlin : alk. paper)
0387543058 (New York : alk. paper)
book jacket
館藏地 索書號 處理狀態 OPAC 訊息 條碼
 資訊所圖書室叢書區  SerPro I2.3 T874 1990  LNCS 515    館內使用    30330000080387
 數學所圖書室  QA75.5 .L42  v.515    在架上    30340200298986
說明 vi, 177 p. : ill. ; 25 cm
系列 Lecture notes in computer science ; 515. Lecture notes in artificial intelligence
Lecture notes in artificial intelligence
附註 "[Papers from] the Truth Maintenance Workshop ... held on August 6, 1990, during the European Conference on Artificial Intelligence in Stockholm, Sweden"--Pref
Includes bibliographical references
主題 Truth maintenance systems -- Congresses
Deduction and theorem proving iis
Alt Author Martins, João P
Reinfrank, M. (Michael), 1958-
European Conference on Artificial Intelligence (1990 : Stockholm, Sweden)
Alt Title ECAI-90
Record:   Prev Next