Consequence programming: the algorithm ``at subgoal go back

From MaRDI portal
Consequence programming: the algorithm ``at subgoal go back''















This page was built for publication: Consequence programming: the algorithm ``at subgoal go back

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3115120)