Cool
From MaRDI portal
Software:23926
No author found.
Related Items (3)
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 ⋮ A resolution-based calculus for preferential logics
This page was built for software: Cool
