000 00627nam a2200193 4500
008 160616s2009 000 0
245 _aMathematical theory and computational practice
_b5th conference on computability in Europe, CiE2009, Heldelberg, Germany, july 19-24, 2009 proceedings
100 _aAmbos-spies, Klaus, Ed.
100 _aLowe, Benedikt, Ed.
100 _aMerkle, Wolfgang, Ed.
260 _aBerlin
260 _bSpringer - Verlag
260 _c2009
300 _a510
440 _aLecture notes in computer science ; 05635
020 _a9783642030727
942 _cBK
_2BK24047
080 _a681 LNCS
999 _c24047
_d24047