DeReS
From MaRDI portal
Software:44023
No author found.
Related Items (2)
Automated non-monotonic reasoning in System \textbf{P} ⋮ A tableaux calculus for default intuitionistic logic
This page was built for software: DeReS