The Science of Computing
nAutomated problem solving.
nAutomated systems that produce solutions. nMethods to develop solution strategies for these systems. nApplication areas for automatic problem solving.