TY - BOOK AU - Marcella Anselmo, Gianluca Della Vedova, Florin Manea, Arno Pauly. TI - Beyond the Horizon of Computability : 16th Conference on Computability in Europe, CiE 2020, Fisciano, Italy, June 29-July 3, 2020, Proceedings SN - 9783030514662 PY - 2020/// CY - Cham PB - Springer KW - Computers. 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 UR - https://doi.org/10.1007/978-3-030-51466-2 ER -