築谷 朋典 | 国立循環器病研究センター 研究所人工臓器部

スポンサーリンク

概要

• 築谷 朋典の詳細を見る
• 同名の論文著者
• 国立循環器病研究センター 研究所人工臓器部の論文著者

論文 | ランダム

• 結合子の適切さによる人間の演繹的な推論の形式化 (&特集>「記号論理とAI」)
• 普通のUntil演算子を持つ命題実時間論理について
• 時相論理による段階的仕様記述プロセスに対応した検証法
• 証明の失敗から得られる情報を用いる様相論理定理証明戦略
• 時相論理による仕様記述の無矛盾性判定のための再利用可能なタブローについて

もっと見る

スポンサーリンク