書店で探す
書店で探す
書誌情報
この資料の詳細や典拠（同じ主題の資料を指すキーワード、著者名）等を確認できます。
- 資料種別
- 図書
- タイトル
- タイトルよみ
- Proof-Theoretical Investigation on Machine Code and Code Generation
- 著者・編者
- 大堀, 淳, 北陸先端科学技術大学院大学
- 著者標目
- 著者 ： 大堀, 淳, 1957- オオホリ, アツシ, 1957- ( 00540736 )典拠
- 出版年月日等
- 2000-2001
- 出版年（W3CDTF）
- 2000
- 数量
- 冊
- その他のタイトル
- 研究種目 基盤研究(C)