Equivalence of Logic Programs under Updates
書誌事項
- タイトル
- Equivalence of Logic Programs under Updates
収録刊行物
-
- Lecture Notes in Artificial Intelligence Vol.3229
-
Lecture Notes in Artificial Intelligence Vol.3229 174-186, 2004