Sapporo gakuin university > 札幌学院大学論集・紀要類 > 社会情報 >
編集委員・奥付
札幌学院大学社会情報学部研究業績(2000年)
社会情報学部における情報処理の教育内容と運営システム
目次
シーケント計算に基づく証明系と法的推論への適用