Artificial Intelligence in Theory and Practice III - Bramer, Max (Springer Berlin Heidelberg, 2010)