EQUIVALENCES BETWEEN ILLATIVE COMBINATORY LOGICS AND PURE TYPE SYSTEMS
スポンサーリンク
概要
京都大学 | 論文
- 東南アジアの哺乳動物相の変遷についての研究情況と今後の課題 (III)
- 東南アジアの哺乳動物相の変遷についての研究情況と今後の課題 (II)
- 東南アジアの哺乳動物相の変遷についての研究情況と今後の課題 (1)
- 「死の鉄道」建設のもたらしたもの : タイ・デンマーク先史学調査隊の報告
- タイにおける古生物学的調査旅行