正則集合に表現等価なテンポラル・ロジック(アルゴリズムの数学的基礎理論とその応用)

IR (HANDLE) Open Access

Bibliographic Information

Other Title
  • セイソク シュウゴウ ニ ヒョウゲン トウカ ナ テンポラル ロジック アルゴリズム ノ スウガクテキ キソ リロン ト ソノ オウヨウ

Search this article

Journal

Details 詳細情報について

  • CRID
    1050001202111572352
  • NII Article ID
    110006400738
  • NII Book ID
    AN00061013
  • ISSN
    18802818
  • HANDLE
    2433/99456
  • Text Lang
    ja
  • Article Type
    departmental bulletin paper
  • Data Source
    • IRDB
    • CiNii Articles

Report a problem

Back to top