First Page | Document Content | |
---|---|---|
Date: 2016-07-20 16:49:24Logic Automated theorem proving Propositional calculus Mathematical logic Logic programming Mathematics Rules of inference Resolution Clause Literal Unit propagation E theorem prover | Selecting the Selection? Kryˇstof Hoder, Giles Reger1 , Martin Suda1 , and Andrei Voronkov1,2,3 1 2Add to Reading ListSource URL: www.cs.man.ac.ukDownload Document from Source WebsiteFile Size: 288,76 KBShare Document on Facebook |