Logtk
From MaRDI portal
Software:40349
No author found.
Related Items (2)
Formalizing Bachmair and Ganzinger's ordered resolution prover ⋮ Formalizing Bachmair and Ganzinger's ordered resolution prover
This page was built for software: Logtk