論文 - 平田　耕一

Stable Model Semantics of Circumscription 査読有り

平田　耕一

Bulletin of Informatics and Cybernetics   26 ( 1-2 )   1994年04月

　詳細を見る

記述言語：英語   掲載種別：研究論文（学術雑誌）

On Russian Propositions 査読有り

平田　耕一

Bulletin of Informatics and Cybernetics   25 ( 1-2 )   1992年04月

　詳細を見る

記述言語：英語   掲載種別：研究論文（学術雑誌）