| Type |  Book |
| ชื่อเรื่อง | Artificial intelligence, automated reasoning, and symbolic computation : joint International Conferences AISC 2002 and Calculemus 2002, Marseille, France, July 1-5, 2002 : proceedings / Jacques Calmet ... [et al.] (eds.) |
| ผู้แต่ง | International Conference on Artificial Intelligence and Symbolic Mathematical Computation (6th : 2002 : Marseille, France) |
| ISBN | 3540438653 |
| พิมพลักษณ์ | Berlin : Springer, 2002 |
| รูปเล่ม | xi, 341 p. : ill. ; 24 cm |
| หัวเรื่อง | Artificial intelligence --Congresses [] |
| | Automatic theorem proving --Congresses [] |
| | Logic, Symbolic and mathematical --Congresses [] |