Title: Mechanizing hypothesis formation
Subjects: Computer simulation, Symbolic and mathematical Logic, Artificial intelligence, Mathematics, Mathematics, general