![Propositional calculus / Mathematical logic / Logic in computer science / Frege system / Automated theorem proving / Computational complexity theory / Gottlob Frege / Tautology / Mathematical proof / Mathematics / Logic / Theoretical computer science Propositional calculus / Mathematical logic / Logic in computer science / Frege system / Automated theorem proving / Computational complexity theory / Gottlob Frege / Tautology / Mathematical proof / Mathematics / Logic / Theoretical computer science](https://www.pdfsearch.io/img/fda727ac7ea736e7b2e971460d50ab24.jpg)
| Document Date: 2004-11-24 07:53:45 Open Document File Size: 204,50 KBShare Result on Facebook
City Paris / / Company Frege Systems / Wilson / / Facility club Ci / / IndustryTerm propositional proof systems / proof systems / inner product / / Organization National Science Foundation / / Person Maria Luisa Bonet Samuel / Mauricio Karchmer / Herbert Wilf / Ai / Samuel R. Buss∗ Toniann Pitassi / /
SocialTag |