メトリック
1 レコードビュー
- タイトル
- Towards Proof-Theoretic Semantics for Second-Order Logic
- 作成者 – 役職なし
- Ryota AKIYOSHI
- 会議
- Mini-WS (L'Institut d'histoire et de philosophie des sciences et des techniques, Paris)
- ID
- 991002580652507421
- 組織
- The University of Electro-Communications
- 言語
- 英語
- 資料タイプ
- 会議発表プレゼンテーション
- リソースのサブタイプ
- rm_presentations: Others