First Page | Document Content | |
---|---|---|
Date: 2016-09-29 07:15:35 | Downloaded from orbit.dtu.dk on: Dec 16, 2016 Formalization of the Resolution Calculus for First-Order Logic Schlichtkrull, Anders Published in:Add to Reading ListSource URL: orbit.dtu.dkDownload Document from Source WebsiteFile Size: 414,78 KBShare Document on Facebook |