Annotated Semantics for Nonmonotonic ATMS

スポンサーリンク

概要

• 論文の詳細を見る
• 姫路短期大学図書委員会の論文

著者

• 中松 和己

  姫路工業大学

関連論文

• 姫路工業大学環境人間学部における情報リテラシー教育
• EVALPSNに基づく鉄道連動装置安全性検証及びシミュレータ
• EVALPSNに基づく鉄道連動装置安全性検証及びシミュレータ(セッション3,ITS情報処理・一般)
• EVALPSNに基づく鉄道連動装置安全性検証及びシミュレータ(セッション3)(ITS情報処理・一般)
• EVALPに基づく交通信号制御
• EVALPSNに基づく鉄道連動装置安全性検証及びシミュレータ
• ディフィージブル義務論理のベクトル真理値付き論理プログラムへの変換
• Annotated Semantics for Nonmonotonic ATMS
• Paraconsistent Formalism for the Closed World Assumption
• Automatic Theorem Proving for Many-Sorted Free Description Theory with Equality
• 一階様相述語論理の機械的定理証明について (計算機科学の数学的基礎)
• 内包の外延への還元可能性について (計算機構の数学的研究)

もっと見る 閉じる

スポンサーリンク