Empirical Explorations with the Logic Theory Machine: A Case Study in Heuristics

Open in new window