Concepedia
Medical Entomology and Zoology · 1997 · 196 citations · 0 references
ComputingComputer ScienceLogicAutomated ReasoningProof AssistantsProof ComplexityPropositional LogicProof SystemsPropositional InferenceSyntax Of Propositional Logic