ISBN: | 3-540-42957-3 (pbk.) |
---|---|
编目源: | OHX OHX C$Q KKS ORU UKM CVU |
语种代码: | eng |
会议名称: | LPAR 2001 |
题名: | Logic for programming, artificial intelligence, and reasoning : 8th international conference, LPAR 2001, Havana, Cuba, December 3-7, 2001 : proceedings / Robert Nieuwenhuis, Andrei Voronkov (eds.). |
出版发行项: | Berlin : Springer, c2001. |
载体形态: | xv, 738 p. : ill. ; 24 cm. |
书目附注: | Includes bibliographical references and index. |