LEADER 01668nam0 22003853i 450 001 IEI0107421 005 20231121125507.0 010 $a8842521302 010 $a9788842521303 100 $a20071010d1997 ||||0itac50 ba 101 | $aita$cita 102 $ait 181 1$6z01$ai $bxxxe 182 1$6z01$an 200 1 $a˜Gli œebrei e la Chiesa, 1933-1945$fVitaliano Mattioli 210 $aMilano$cMursia$d1997 215 $a174 p.$d22 cm. 225 | $aTestimonianze fra cronaca e storia 410 0$1001CFI0002272$12001 $aTestimonianze fra cronaca e storia 500 10$a˜Gli œebrei e la Chiesa, 1933-1945$3RAV2042583$9CFIV109812$93607242 606 $aEbrei$xPersecuzioni$x1933-1945$2FIR$3RMLC174669$9I 606 $aChiesa cattolica e ebrei$xShoa$2FIR$3RMLC323128$9I 676 $a940.5318$9Seconda guerra mondiale. 1939-1945. Olocausto$v22 700 1$aMattioli$b, Vitaliano$3CFIV109812$4070$0540242 801 3$aIT$bIT-01$c20071010 850 $aIT-FR0084 $aIT-RM0166 $aIT-RM1481 $aIT-FR0017 899 $aBiblioteca Del Monumento Nazionale Di Montecassino$bFR0084 899 $aBiblioteca Nazionale dell?Ebraismo Italiano ?Tullia Zevi?$bRM0166 899 $aBiblioteca Della Società Dalmata Di Storia Patria$bRM1481 899 $aBiblioteca umanistica Giorgio Aprea$bFR0017 912 $aIEI0107421 950 0$aBiblioteca umanistica Giorgio Aprea$d 52DCB Mat.Ebr.$e 52SBA0000250695 VMB RS $fA $h20190123$i20190123 977 $a 25$a 28$a 43$a 52 996 $aEbrei e la Chiesa, 1933-1945$93607242 997 $aUNICAS LEADER 05139nam 22005175 450 001 9910869160403321 005 20240909115033.0 010 $a9783031643095$b(electronic bk.) 010 $z9783031643088 024 7 $a10.1007/978-3-031-64309-5 035 $a(MiAaPQ)EBC31511881 035 $a(Au-PeEL)EBL31511881 035 $a(CKB)32635005600041 035 $a(DE-He213)978-3-031-64309-5 035 $a(OCoLC)1443937902 035 $a(EXLCZ)9932635005600041 100 $a20240702d2024 u| 0 101 0 $aeng 135 $aurcnu|||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aTwenty Years of Theoretical and Practical Synergies $e20th Conference on Computability in Europe, CiE 2024, Amsterdam, The Netherlands, July 8?12, 2024, Proceedings /$fedited by Ludovic Levy Patey, Elaine Pimentel, Lorenzo Galeotti, Florin Manea 205 $a1st ed. 2024. 210 1$aCham :$cSpringer Nature Switzerland :$cImprint: Springer,$d2024. 215 $a1 online resource (490 pages) 225 1 $aLecture Notes in Computer Science,$x1611-3349 ;$v14773 311 08$aPrint version: Levy Patey, Ludovic Twenty Years of Theoretical and Practical Synergies Cham : Springer,c2024 9783031643088 327 $a -- Invited abstracts. -- Special Session: Computing Knowledge: Computational Aspects of Epistemic Logics (HaPoC). -- The theory of enumeration degrees and its fragments. -- Further extensions of the point to set principle. -- Uniform distribution and algorithmic randomness. -- Computable aspects of symbolic dynamics and tilings. -- How much pattern complexity can help us solve the domino problem ?. -- Sufficient conditions for non-emptiness of a subshift and computability of its entropy. -- Reasoning about (Negative) Trust under Uncertainty. -- Quantum computating from reversible classical computing. -- Complexity of well-ordered sets in an ordered Abelian group. -- Invited papers. -- If CiE Did not Exist, It Would be Necessary to Invent It. -- Some Open Questions and Recent Results on Computable Banach Spaces. -- Kolmogorov complexity as a combinatorial tool. -- Cellular Automata: Communication Matters. -- Membership problems in infinite groups. -- Communication Modalities. -- Algorithmic aspects of left-orderings of solvable Baumslag?Solitar groups via its dynamical realization. -- Hybrid Maximal Filter Spaces. -- Inversion in P-computable fields. -- Regular papers. -- On the computational properties of weak continuity notions. -- On Arithmetical Numberings in Reverse Mathematics. -- Two-player Domino games. -- Almost sure OTM-realizability. -- Learning Families of Algebraic Structures from Text. -- Structures of Finite Punctual Dimension n>2. -- Counting Simple Rules in Semi-Conditional Grammars Is Not Simple. -- Universal Boolean algebras with applications to semantic classes of models. -- Existential Definability of Unary Predicates in Büchi Arithmetic. -- Graph Homomorphism, Monotone Classes and Bounded Pathwidth. -- Recursion-Theoretic Alternation. -- Computable structure theory of partial combinatory algebras. -- Hyperarithmetic Numerals. -- Lipschitz determinacy and Arithmetic Transfinite Recursion. -- Higher-order feedback computation. -- Quantum First-Order Logics That Capture Logarithmic-Time/Space Quantum Computability. -- Fundamental Sequences based on Localization. -- The weakness of finding descending sequences in ill-founded linear orders. -- Sequential Discontinuity and First-Order Problems. -- Complexities of Theories of Profinite Subgroups of $S_\omega$ via Tree Presentations. -- The theory of Hilbert's Basis Theorem for multivariate polynomials over rings. -- A Weak First-Order Theory of Sequences. -- On the group of computable automorphisms of the linear order of the reals. -- A diamond embedding theorem in the quotient structure ${\bf R}/\Ncup$. -- The Decision Problem for Undirected Graphs with Reachability and Acyclicity. -- Isometric Sets of Words and Generalizations of the Fibonacci Cubes. 330 $aThis book constitutes the refereed proceedings of the 20th Conference on Computabilitty in Europe, CiE 2024, held in Amsterdam, The Netherlands, during July 8?12, 2024 The 26 full papers and 2 short papers included in this book were carefully reviewed and selected from 43 submissions. This CIE 2024 focus on development of computability-related science, ranging over mathematics, computer science and applications in various natural and engineering sciences. 410 0$aLecture Notes in Computer Science,$x1611-3349 ;$v14773 606 $aAlgorithms 606 $aAlgorithms 615 0$aAlgorithms. 615 14$aAlgorithms. 676 $a518.1 700 $aLevy Patey$b Ludovic$01743715 701 $aPimentel$b Elaine$01743716 701 $aGaleotti$b Lorenzo$0321580 701 $aManea$b Florin$01376495 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 912 $a9910869160403321 996 $aTwenty Years of Theoretical and Practical Synergies$94171935 997 $aUNINA