Michael Thielscher, Dongmo Zhang AI 2012: Advances in Artificial Intelligence - Germany Springer 2012 ISBN: 978-3-642-35101-3 Subjects--Topical Terms: AI 2012: Advances in Artificial IntelligenceComputer Science