A Combination of SLDNF Resolution with Narrowing for General Logic Programs with Equations with Respect to Extended Well-Founded Model

スポンサーリンク

概要

著者

関連論文

もっと見る

スポンサーリンク