lpeq
From MaRDI portal
Software:44796
No author found.
Related Items (4)
Unnamed Item ⋮ Logic Programming and Nonmonotonic Reasoning ⋮ Inductive equivalence in clausal logic and nonmonotonic logic programming ⋮ Modularity Aspects of Disjunctive Stable Models
This page was built for software: lpeq
