Beat me to it. Saw the thread only now. Also: How to Solve it by Computer - by Dromey. It's like the programmers' version of the Pólya book. https://en.m.wikip

Beat me to it. Saw the thread only now. Also: How to Solve it by Computer - by Dromey. It's like the programmers' version of the Pólya book. https://en.m.wikipedia.org/wiki/How_to_Solve_it_by_Computer https://en.m.wikipedia.org/wiki/How_to_Solve_it_by_Computer