チュートリアル CafeOBJ入門(4)証明譜による検証法

Bibliographic Information

Other Title
  • チュートリアル CafeOBJ ニュウモン 4 ショウメイ フ ニ ヨル ケンショウホウ
  • Introducing CafeOBJ (4) Verification with proof scores

Search this article

Journal

References(3)*help

See more

Related Projects

See more

Details

  • CRID
    1520853831968007040
  • NII Article ID
    110006990888
  • NII Book ID
    AN10075819
  • ISSN
    02896540
  • NDL BIB ID
    9701113
  • Text Lang
    ja
  • NDL Source Classification
    • ZM13(科学技術--科学技術一般--データ処理・計算機)
  • Data Source
    • NDL
    • CiNii Articles
    • KAKEN

Report a problem

Back to top