Natural Deductionを用いた定理の証明法について
Bibliographic Information
- Other Title
-
- Natural Deduction オ モチイタ テイリ ノ ショウメイホウ
Search this article
Abstract
資料形態 : テキストデータ プレーンテキスト
Journal
-
- 東京理科大学経営科学研究 / 東京理科大学工学部経営工学科 編
-
東京理科大学経営科学研究 / 東京理科大学工学部経営工学科 編 3 (1), p1-6, 1978-07
[東京] : 東京理科大学工学部経営工学科
- Tweet
Details 詳細情報について
-
- CRID
- 1520853832338409856
-
- NII Article ID
- 40004146574
-
- NII Book ID
- AN00164832
-
- NDL BIB ID
- 2968317
-
- Text Lang
- ja
-
- NDL Source Classification
-
- ZD23(経済--企業・経営)
-
- Data Source
-
- NDL
- CiNii Articles