On an Unsatisfiability-satisfiability Prover

スポンサーリンク

概要

• 論文の詳細を見る
• 京都大学の論文

著者

• Hosono Chiharu

  Institute Of Information Science University Of Tsukuba

• Hosono Chiharu

  Institute Of Information Sciences And Electronics University Of Tsukuba

関連論文

• TENSE CALCULUS AND ITS REFINEMENT WITHOUT ∞
• The Translation from Tense Arithmetic into Tense Calculus
• On an Unsatisfiability-satisfiability Prover
• REPRESENTATIONS OF AUTONOMOUS REALTIME SYSTEMS
• REPRESENTATIONS OF AUTONOMOUS REALTIME SYSTEMS

スポンサーリンク