DeReS

swMATH32312MaRDI QIDQ44023FDOQ44023

Author name not available (Why is that?)

Cited In (2)

• Automated non-monotonic reasoning in System \textbf{P}
• A tableaux calculus for default intuitionistic logic

This page was built for software: DeReS