文字サイズ

  • 小
  • 中
  • 大

古書を探す

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＞

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

リクエストを送る

クリスマス、冬の風物誌 - 歳時記、年中行事

年の瀬、新年 - 抱負、目標への指南

一粒米
一粒米
 ￥4,400