機械語コードおよびコード生成のための論理学的基礎の研究
著者
書誌事項
機械語コードおよびコード生成のための論理学的基礎の研究
(科学研究費補助金基盤研究(C)(2)研究成果報告書, 平成12年度-平成13年度)
[大堀淳], 2002.2
- タイトル別名
-
Proof-theoretical investigation on machine code and code generation
- タイトル読み
-
キカイゴ コード オヨビ コード セイセイ ノタメノ ロンリガクテキ キソ ノ ケンキュウ
大学図書館所蔵 件 / 全1件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する