书目信息 机读格式(MARC)
Logic for programming, artificial intelligence, and reasoning :
| 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. |