@book{AroraBarak:CompComplex, title = "Computational Complexity: A Modern Approach", author = "Sanjeev Arora and Boaz Barak", address = "Cambridge, UK", isbn = "978-0-521-42426-4", publisher = "Cambridge University Press", year = "2009", } @book{Cooper:CT, title = "Computability Theory", author = "S. Barry Cooper", address = "Boca Raton, FL", isbn = "978-1-58488-237-4", publisher = "CRC Press", year = "2004", } @book{Mackay:ITILA, title = "Information Theory, Inference, and Learning Algorithms", author = "David J. C. Mackay", address = "Cambridge, UK", isbn = "978-0-521-64298-9", origyear = "2003", publisher = "Cambridge University Press", year = "2004" } @book{Nies:C&R, title = "Computability and Randomness", author = "André Nies", address = "New York", isbn = "978-0-19-965260-0", origyear = "2009", publisher = "Oxford University Press", year = "2012" } @book{Russel:Norvig:AIMA, title = "Artificial Intelligence -- A Modern Approach", author = "Stuart Russel and Peter Norvig", address = "New Jersey", edition = "2", isbn = "978-0-19-965260-0", origyear = "1995", publisher = "Pearson Education", year = "2003" }