Concepedia
ACM SIGSOFT Software Engineering Notes · 1982 · 1.2K citations · 0 references
ComputingComputer ScienceKnowledge RepresentationLogicTheory Of ComputationAutomated ReasoningMathematical LogicPredicate LogicProblem SolvingComputational Logic
No abstract available.