アルゴリズムにおける証明論
CiNii
Available at 4 libraries
Bibliographic Information
- Title
- "アルゴリズムにおける証明論"
- Publisher
-
- 京都大学数理解析研究所
- Publication Year
-
- 1975.5
- Book size
- 25cm
- Other Title
-
- アルゴリズム ニ オケル ショウメイロン
- Proof theory about algorithms
- プログラムの基礎理論 ; アルゴリズムにおける証明論 : 短期共同研究
- [Basic] theory of programs ; Proof theory about algorithms
Search this Book/Journal
Notes
「プログラムの基礎理論」研究集会(1973年5月16日-5月18日) ; 短期共同研究「アルゴリズムにおける証明論」(1974年11月5日-11月16日)
- Tweet
Details 詳細情報について
-
- CRID
- 1130282272090725760
-
- NII Book ID
- BN10481206
-
- Country Code
- ja
-
- Title Language Code
- ja
-
- Place of Publication
-
- [京都]
-
- Data Source
-
- CiNii Books