TAKAHASHI Sumio | Department of Applied Physics, National Defense Academy, 1–10–20, Hashirimizu, Yokosuka, Kanagawa, 239 Japan
スポンサーリンク
概要
- TAKAHASHI Sumioの詳細を見る
- 同名の論文著者
- Department of Applied Physics, National Defense Academy, 1–10–20, Hashirimizu, Yokosuka, Kanagawa, 239 Japanの論文著者
論文 | ランダム
- 結合子の適切さによる人間の演繹的な推論の形式化 (&特集>「記号論理とAI」)
- 普通のUntil演算子を持つ命題実時間論理について
- 時相論理による段階的仕様記述プロセスに対応した検証法
- 証明の失敗から得られる情報を用いる様相論理定理証明戦略
- 時相論理による仕様記述の無矛盾性判定のための再利用可能なタブローについて