ISBN: | 3-540-42071-1 |
---|---|
编目源: | DLC DLC |
语种代码: | eng |
会议名称: | International Conference on Artificial Intelligence and Symbolic Mathematical Computation |
题名: | Artificial intelligence and symbolic computation : international conference AISC 2000, Madrid, Spain, July 17-19, 2000, revised papers / John A. Campbell, Eugenio Roanes-Lozano (eds.). |
出版发行项: | Berlin ; London : Springer, 2001. |
载体形态: | x, 252 p. : ill. 24 cm. |
书目附注: | Includes bibliographical references and index |