Formalization of the Resolution Calculus for First-Order Logic

Anders Schlichtkrull*

*Corresponding author for this work

Research output: Contribution to journalJournal articleResearchpeer-review

517 Downloads (Pure)

Fingerprint

Dive into the research topics of 'Formalization of the Resolution Calculus for First-Order Logic'. Together they form a unique fingerprint.

Computer Science