A New Version to Gentzen Decision Procedure for Modal Sentential Calculus S51.

スポンサーリンク

概要

• 論文の詳細を見る
• 神戸大学の論文

著者

• Ohnishi Masao

  神戸大学

関連論文

• A New Version to Gentzen Decision Procedure for Modal Sentential Calculus S51.

スポンサーリンク