書店で探す
目次
(通号 49) 1998.12
- 形状の類似性評価方法
p.1~7
- PTTP型定理自動証明におけるゴールの準最適な並び
p.22~29
書店で探す
書誌情報
この資料の詳細や典拠(同じ主題の資料を指すキーワード、著者名)等を確認できます。
- 資料種別
- 雑誌
- ISSN
- 0513-1871
- ISSN-L
- 0513-1871
- タイトルよみ
- ヤマナシ ダイガク コウガクブ ケンキュウ ホウコク : ハッピョウ ロンブン トウ リスト
- 巻次・部編番号
- (49)-(50) 19981200-19991200
- 著者・編者
- 山梨大学工学部 編
- 出版事項
- 出版年月日等
- 1998-1999