Natural Deductionを用いた定理の証明法について
書誌事項
- タイトル別名
-
- Natural Deduction オ モチイタ テイリ ノ ショウメイホウ
この論文をさがす
説明
資料形態 : テキストデータ プレーンテキスト
収録刊行物
-
- 東京理科大学経営科学研究 / 東京理科大学工学部経営工学科 編
-
東京理科大学経営科学研究 / 東京理科大学工学部経営工学科 編 3 (1), p1-6, 1978-07
[東京] : 東京理科大学工学部経営工学科
- Tweet
詳細情報 詳細情報について
-
- CRID
- 1520853832338409856
-
- NII論文ID
- 40004146574
-
- NII書誌ID
- AN00164832
-
- NDL書誌ID
- 2968317
-
- 本文言語コード
- ja
-
- NDL 雑誌分類
-
- ZD23(経済--企業・経営)
-
- データソース種別
-
- NDL
- CiNii Articles
