Nagao K | Sony Computer Science Lab. Inc. Tokyo Jpn

スポンサーリンク

概要

• 同名の論文著者
• Sony Computer Science Lab. Inc. Tokyo Jpnの論文著者

論文 | ランダム

• ディフィージブル義務論理のベクトル真理値付き論理プログラムへの変換
• Annotated Semantics for Nonmonotonic ATMS
• Paraconsistent Formalism for the Closed World Assumption
• Automatic Theorem Proving for Many-Sorted Free Description Theory with Equality
• 一階様相述語論理の機械的定理証明について (計算機科学の数学的基礎)

もっと見る

スポンサーリンク