Artificial intelligence, automated reasoning, and symbolic computation : Joint International Conference AISC 2002 and Calculemus 2002, Marseille, France, July 1-5, 2002 : proceedings ＜Lecture notes in computer science＞

書籍データ

著者名：Jacques Calmet ... [et al.] (eds.)他の作品を見る

出版社：Springer

発売日：c2002

xi, 341 p. 24 cm

ISBN：3540438653