![Logic in computer science / Automated theorem proving / Frege system / Propositional calculus / Computational complexity theory / Proof complexity / Function / Gottlob Frege / Mathematical proof / Mathematics / Theoretical computer science / Mathematical logic Logic in computer science / Automated theorem proving / Frege system / Propositional calculus / Computational complexity theory / Proof complexity / Function / Gottlob Frege / Mathematical proof / Mathematics / Theoretical computer science / Mathematical logic](https://www.pdfsearch.io/img/e70376f3d5e2072e67b2715b57154524.jpg)
| Document Date: 2011-06-22 20:53:40 Open Document File Size: 330,06 KBShare Result on Facebook
Company CNF / / / Facility University of Edinburgh / University of Toronto / / IndustryTerm non-deterministic algorithms / artificial algorithms / non-deterministic algorithm / propositional proof systems / natural algorithms / low depth proof systems / stronger proof systems / proof systems / natural systems / possible algorithm / natural proof systems / / Organization University of Toronto / University of Edinburgh / / Person Ai / / Technology simulation / non-deterministic algorithms / non-deterministic algorithm / possible algorithm / somewhat artificial algorithms / /
SocialTag |