Logic2CNF
From MaRDI portal
Software:40308
No author found.
Related Items (5)
The role of the Mizar mathematical library for interactive proof development in Mizar ⋮ Flexary connectives in Mizar ⋮ Automated Comparative Study of Some Generalized Rough Approximations ⋮ Accessing the Mizar Library with a Weakly Strict Mizar Parser ⋮ Semantics of Mizar as an Isabelle object logic
This page was built for software: Logic2CNF
