Search by Bookstore
(通号 49) 1998.12
- 形状の類似性評価方法
p.1~7
- PTTP型定理自動証明におけるゴールの準最適な並び
p.22~29
Search by Bookstore
Bibliographic Record
You can check the details of this material, its authority (keywords that refer to materials on the same subject, author's name, etc.), etc.
- Material Type
- 雑誌
- Title Transcription
- ヤマナシ ダイガク コウガクブ ケンキュウ ホウコク : ハッピョウ ロンブン トウ リスト
- Volume
- (49)-(50) 19981200-19991200
- Author/Editor
- 山梨大学工学部 編
- Author Heading
- 山梨大学工学部 ヤマナシ ダイガク コウガクブ ( 00635895 )Authorities
- Publication, Distribution, etc.
- Publication Date
- 1998-1999
- Publication Date (W3CDTF)
- 1998-1999
- Year and volume of publication
- [1号]-53号 (2004)