Concepedia

Proceedings of the 1999 international conference on Logic programming

Danny De Schreye

1999 · 151 citations · 0 references

Concepts

ComputingComputer ScienceFormal MethodsLogicProgramming LanguagesConstraint SatisfactionDeductive ReasoningFirst-order LogicLogic ProgrammingPredicate LogicTemporal LogicComputational LogicType Systems For Logic Programming