Editorial: The Possibility of Generating True Conjectures.

Hans Jürgen Ohlbach Renate A. Schmidt

Published in: J. Log. Comput. (1993)

Keyphrases

special issue
databases
artificial intelligence
information extraction
generation process
data sets
training data
data structure
relational databases
control system
multi objective
case based reasoning
theorem prover
automatically generating