Kai-Uwe K�hnberger, Sebastian Rudolph, Pei Wang Artificial General Intelligence - 2013 ISBN: 978-3-642-39521-5 Subjects--Topical Terms: Algorithm Analysis and Problem ComplexityInformation Systems Applications (incl.Internet)Mathematical Logic and Formal LanguagesPattern RecognitionSoftware EngineeringComputer Science