FOL_Harrison
From MaRDI portal
Software:43931
No author found.
Related Items (2)
Formalization of the resolution calculus for first-order logic ⋮ Programming and verifying a declarative first-order prover in Isabelle/HOL
This page was built for software: FOL_Harrison
