Cool

swMATH11992MaRDI QIDQ23926FDOQ23926

Author name not available (Why is that?)

Cited In (3)

• A resolution-based calculus for preferential logics
• JTabWb: a Java Framework for Implementing Terminating Sequent and Tableau Calculi
• Automated reasoning. 7th international joint conference, IJCAR 2014, held as part of the Vienna summer of logic, VSL 2014, Vienna, Austria, July 19--22, 2014. Proceedings

This page was built for software: Cool