MARC 主機 00000nam  2200000 a 4500 
008    070725s2007    gw a     b    101 0 eng d 
020    9783540730989 (pbk.) 
020    3540730982 (pbk.) 
040    AS|cAS|dIIS 
111 2  TABLEAUX 2007|d(2007 :|cAix en Provence, France) 
245 10 Automated reasoning with analytic tableaux and related 
       methods :|b16th international conference, TABLEAUX 2007, 
       Aix en Provence, France, July 3-6, 2007 : proceedings /
       |cNicola Olivetti (ed.) 
246 30 TABLEAUX 2007 
260    Berlin :|bSpringer,|c2007 
300    x, 244 p. :|bill. ;|c24 cm 
490 1  Lecture notes in computer science,|x0302-9743 ;|v4548. 
       Lecture notes in artificial intelligence 
504    Includes bibliographical references and author index 
530    Also available online 
650  0 Automatic theorem proving|xCongresses 
650  7 Reasoning|2iisf 
650  7 Analytic tableaux|2iisf 
700 1  Olivetti, Nicola 
830  0 Lecture notes in computer science ;|v4548 
830  0 Lecture notes in computer science.|pLecture notes in 
       artificial intelligence 
856 41 |uhttp://springerlink.metapress.com/
       openurl.asp?genre=issue&issn=0302-9743&volume=4548
       |zConnect to this title online 
館藏地 索書號 處理狀態 OPAC 訊息 條碼
 資訊所圖書室叢書區  SerPro F4.1 A532 2007  LNCS 4548    館內使用    30330000193875