Concepedia
Logic in Computer Science · 1987 · 61 citations · 0 references
ComputingComputer ScienceFormal MethodsLogicProgramming LanguagesLogic ProgrammingMinimalismMinimalist SyntaxModel TheoryPredicate LogicDefault LogicDefault Reasoning