The following pages link to Cool (Q23926):
Displaying 3 items.
- A resolution-based calculus for preferential logics (Q1799110) (← links)
- 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 (Q2250555) (← links)
- JTabWb: a Java Framework for Implementing Terminating Sequent and Tableau Calculi (Q4589603) (← links)