Mathematical theory and computational practice: 5th Conference on Computability in Europe, CiE 2009, Heidelberg, Germany, July 19-24, 2009 ; proceedings - Ambos-Spies, Klaus; Löwe, Benedikt; Merkle, Wolfgang (Lecture notes in computer science, 2009)
Literaturangaben
Keywords: Konferenzschrift -- 2009 -- Heidelberg; Berechenbarkeit