OpenGrey (Institut de l'Information Scientifique et Technique) · 1990 · 112 citations · 0 references
Open access
ComputingComputer ScienceMathematicsFormal MethodsLogicSemanticsConstraint RepresentationDeductive ReasoningFirst-order LogicPredicate LogicTheorem ProvingAutomated Reasoning With ConstraintsConstraintsEquality In First-order LogicEquational LogicEquational ReasoningFirst-order Logic ReasoningFormal Proof SystemsReasoning With Constraints
Projet EURECA