Incredible Proof Machine

swMATH28840MaRDI QIDQ40554FDOQ40554

Author name not available (Why is that?)

Cited In (2)

• Formalization of the resolution calculus for first-order logic
• Visual Theorem Proving with the Incredible Proof Machine

This page was built for software: Incredible Proof Machine