Equational Axiomatizations of If-Then-Else.

Irène Guessarian

Published in: CTRS (1987)

Keyphrases

theorem proving
decision procedures
equational theories
theorem prover
inference rules
automated reasoning
first order logic
horn clauses
information systems
feature selection
image segmentation
multiscale
optimal solution
inductive logic programming
tree grammars