000			00815nam a2200133Ia 4500
008			2212144s2020 xx 000 0 und d
020			_a9783030514662
041			_aeng
100			_aMarcella Anselmo, Gianluca Della Vedova, Florin Manea, Arno Pauly.
245			_aBeyond the Horizon of Computability : 16th Conference on Computability in Europe, CiE 2020, Fisciano, Italy, June 29-July 3, 2020, Proceedings
260			_aCham _bSpringer _c2020
650			_aComputers. Mathematical logic. Algorithms. Computer science-Mathematics. Artificial intelligence. Theory of Computation. Mathematical Logic and Formal Languages. Algorithm Analysis and Problem Complexity. Mathematics of Computing. Information Systems and Communication Service. Artificial Intelligence.
856			_uhttps://doi.org/10.1007/978-3-030-51466-2
999			_c86021 _d86021