The Resolution Calculus for First-Order Logic

MaRDI QIDQ7361845FDO

Authors Anders Schlichtkrull

Publication date 30 June 2016

Cites work

• Formalization of the resolution calculus for first-order logic
• Formalization of the Resolution Calculus for First-Order Logic
• Unnamed Publication
• Unnamed Publication
• Mathematical Logic for Computer Science

This page was built for software: The Resolution Calculus for First-Order Logic