YAMASAKI Susumu | Department of Computing and Information Technology, Okayama University

スポンサーリンク

概要

• YAMASAKI Susumuの詳細を見る
• 同名の論文著者
• Department of Computing and Information Technology, Okayama Universityの論文著者

Department of Computing and Information Technology, Okayama University | 論文

• Negation as Failure through a Network(Computation and Computational Models)
• A Combination of SLDNF Resolution with Narrowing for General Logic Programs with Equations with Respect to Extended Well-Founded Model

もっと見る

スポンサーリンク