Cool
From MaRDI portal
Cited in
(12)- A resolution-based calculus for preferential logics
- CoLoSS
- TATL
- Racer
- fCube
- Imogen
- PGSolver
- JTabWb
- leanK
- CLProver
- 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
- JTabWb: a Java framework for implementing terminating sequent and tableau calculi
This page was built for software: Cool
