Positive Deduction modulo Regular Theories.

Laurent Vigneron

Published in: CSL (1995)

Keyphrases

positive and negative
data mining
theoretical framework
theorem proving
computer algebra
information systems
design theory
data sets
neural network
decision making
multi agent
theorem prover