Unifying Some Modifications of the Henkin Construction.

Published in: Notre Dame J. Formal Log. (1992)

Keyphrases

pairwise
learning algorithm
construction process
data mining
genetic algorithm
machine learning
artificial intelligence
decision making
high level
expert systems
software engineering