On relevantly derivable disjunctions.

Robert K. Meyer

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

Keyphrases

artificial intelligence
search space
general purpose
knowledge acquisition
genetic algorithm
data structure
domain knowledge
object oriented