書き換えシステムの基本的性質の解明と完備化手続きに関する研究

Author(s)

Bibliographic Information

書き換えシステムの基本的性質の解明と完備化手続きに関する研究

研究代表者 大山口通夫

[大山口通夫], 1999.3

Other Title

平成8年度-平成10年度科学研究費補助金(基盤研究(C)(2))研究成果報告書

Title Transcription

カキカエ システム ノ キホンテキ セイシツ ノ カイメイ ト カンビカ テツズキ ニ カンスル ケンキュウ

Available at  / 1 libraries

Search this Book/Journal

Details

  • NCID
    BA43585792
  • Country Code
    ja
  • Title Language Code
    jpn
  • Text Language Code
    jpneng
  • Place of Publication
    [津]
  • Pages/Volumes
    1冊
  • Size
    30cm
Page Top