Time-Extraction for Temporal Logic : Logic Programming and Local Process Time

詳細情報 詳細情報について

• CRID

  1520572359159043712

• NII論文ID

  40022305533

• NII書誌ID

  AN10158574

• ISSN

  09135391

• NDL書誌ID

  030558346

• Web Site

  http://id.ndl.go.jp/bib/030558346

  https://ndlsearch.ndl.go.jp/books/R000000004-I030558346

• 本文言語コード

  en

• NDL 雑誌分類

  • ZM13(科学技術--科学技術一般--データ処理・計算機)

• データソース種別

  • NDLサーチ
  • CiNii Articles