1986年3月 Temporal Prolog RIMS Kokyuroku Kyoto-Univ,586 Takashi Sakuragawa 記述言語 英語 掲載種別 研究論文(研究会,シンポジウム資料等) エクスポート BibTeX RIS