書店で探す
書店で探す
書誌情報
この資料の詳細や典拠(同じ主題の資料を指すキーワード、著者名)等を確認できます。
- 資料種別
- 図書
- ISBN
- 3540438653
- ISSN(シリーズ)
- 0302-9743
- 出版年月日等
- 2002.
- 数量
- xi, 341 p. : ill. ; 24 cm.
- 並列タイトル等
- 6th international conference on artificial intelligence and symbolic computation10th symposium on the integration of symbolic computation and mechanized reasoning