Back to Results
First PageMeta Content
Logic / 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 2
Add to Reading List

Document Date: 2016-07-20 16:49:24

Open Document

File Size: 288,76 KB

Share Result on Facebook