非標準理論とその応用：時相論理とその応用

• 松本, 一教

• 内平, 直志

• 本位田, 真一

書誌事項

タイトル別名

• 時相論理とその応用
• ジソウ ロンリ ト ソノ オウヨウ
• Temporal Logics and Their Applications

収録刊行物

• 情報処理

  情報処理 30 (6), p651-657, 1989-06-15

  東京 : 情報処理学会 ; 1960-

キーワード

• 特集

詳細情報

• CRID: 1050001337876452608
• NII論文ID: 110002717104
• NII書誌ID: AN00116625
• ISSN: 04478053
• NDL書誌ID: 3227783
• Web Site: http://id.nii.ac.jp/1001/00005051/
• Web Site: https://ndlsearch.ndl.go.jp/books/R000000004-I3227783
• 本文言語コード: ja
• 資料種別: departmental bulletin paper
• データソース種別:
  • IRDB
  • NDL
  • CiNii Articles