Ceek.jp Altmetrics (α ver.)
  1. ホーム
  2. 文献一覧: 瀧田 康晴 (著者)
  3. 1件

1 0 0 0 OA Involutiveな部分構造論理に対する証明論的アプローチ

著者
瀧田 康晴
巻号頁・発行日
2008-03
Supervisor:小野寛晰