検索
検索条件の追加:
検索条件を追加することで検索結果を絞り込むことができます。
検索結果:
書誌情報 | ファイル |
---|---|
The Game of "Hana" : Representation and Analysis using a Typed Calculus IGARASHI, SHIGERU (1975-05) 数理解析研究所講究録, 236: 212-215 | |
数式処理における数式の型について (アルゴリズムにおける証明論) 渡辺, 隼郎 (1975-05) 数理解析研究所講究録, 236: 204-211 | |
Bi-Relational Frameworks for Minimal and Intuitionistic Logics (アルゴリズムにおける証明論) SONOBE, OSAMU (1975-05) 数理解析研究所講究録, 236: 174-189 | |
Key Assertions and Backward Substitutions (アルゴリズムにおける証明論) TAKASU, SATORU (1975-05) 数理解析研究所講究録, 236: 190-196 | |
Dynamics of System Program : Progressive Induction (アルゴリズムにおける証明論) KAKEHI, KATSUHIKO; SIMAUTI, TAKAKAZU (1975-05) 数理解析研究所講究録, 236: 21-30 | |
On Applying Scott's Logic to Termination Problems (アルゴリズムにおける証明論) ANDO, SHIGERU; ITO, TAKAYASU (1975-05) 数理解析研究所講究録, 236: 1-7 | |
Recursive Program Schemata and Formal Languages (アルゴリズムにおける証明論) ITO, TAKAYASU (1975-05) 数理解析研究所講究録, 236: 15-20 | |
A Natural Deduction System for Assertions (アルゴリズムにおける証明論) IGARASHI, SHIGERU (1975-05) 数理解析研究所講究録, 236: 8-14 | |
表紙・目次 (1975-05) 数理解析研究所講究録, 236 |
絞り込み
分類
- 19 410
資料種別