機械語コードおよびコード生成のための論理学的基礎の研究

Author(s)

    • 大堀, 淳 オオホリ, アツシ

Bibliographic Information

機械語コードおよびコード生成のための論理学的基礎の研究

研究代表者 大堀淳

（科学研究費補助金基盤研究(C)(2)研究成果報告書, 平成12年度-平成13年度）

[大堀淳], 2002.2

Other Title

Proof-theoretical investigation on machine code and code generation

Title Transcription

キカイゴ コード オヨビ コード セイセイ ノタメノ ロンリガクテキ キソ ノ ケンキュウ

Available at  / 1 libraries

Search this Book/Journal

Related Books： 1-1 of 1

Details

  • NCID
    BA57542517
  • Country Code
    ja
  • Title Language Code
    jpn
  • Text Language Code
    jpneng
  • Place of Publication
    [辰口町(石川県)]
  • Pages/Volumes
    50p
  • Size
    30cm
  • Parent Bibliography ID
Page Top