述語論理型プログラミング系の計算機構に関する研究

Author(s)

Bibliographic Information

述語論理型プログラミング系の計算機構に関する研究

研究代表者 山崎進

[山崎進], 1984.3

Other Title

昭和58年度文部省科学研究費補助金一般研究(C) : 研究成果報告書

Title Transcription

ジュツゴ ロンリガタ プログラミングケイ ノ ケイサン キコウ ニ カンスル ケンキュウ

Available at  / 1 libraries

Search this Book/Journal

Note

課題番号: 57550217

京都大学工学部

Details

  • NCID
    BB0667062X
  • Country Code
    ja
  • Title Language Code
    jpn
  • Text Language Code
    jpneng
  • Place of Publication
    [京都]
  • Pages/Volumes
    101p
  • Size
    26cm
Page Top