書店で探す
書店で探す
書誌情報
この資料の詳細や典拠（同じ主題の資料を指すキーワード、著者名）等を確認できます。
- 資料種別
- 博士論文
- 著者・編者
- 高橋孝一 [著]
- 著者標目
- 高橋, 孝一 タカハシ, コウイチ
- 出版事項
- 出版年月日等
- 2002
- 出版年（W3CDTF）
- 2002
- 数量
- 1冊
- 並列タイトル等
- 状態探査による検証における抽象化と探索 ジョウタイ タンサ ニ ヨル ケンショウ ニ オケル チュウショウカ ト タンサク
- 授与機関名
- 東京大学
この資料の詳細や典拠（同じ主題の資料を指すキーワード、著者名）等を確認できます。