Some methods of formal proofs. III.

Juliusz Reichbach

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

Keyphrases

computational cost
significant improvement
database
genetic algorithm
active learning
machine learning methods
information retrieval
search engine
information systems
case study
preprocessing
cross validation
computationally expensive
optimization methods