On the equivalence of upward and downward inheritance reasoners

From MaRDI portal









Describes a project that uses

Uses Software






This page was built for publication: On the equivalence of upward and downward inheritance reasoners

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