LEADER 01120cam--2200313---450 001 990001150200203316 005 20210414114713.0 035 $a000115020 035 $aUSA01000115020 035 $a(ALEPH)000115020USA01 035 $a000115020 100 $a20030530d2002----km-y0itaa50------ba 101 0 $aita 102 $aIT 105 $aa|||z|||001yy 200 1 $aOrdine al merito della Repubblica italiana e ordine della Stella della solidarietà italiana$eguida all'uso delle insegne 210 $aRoma$ca cura dell'Ufficio per la stampa e l'informazione della Presidenza della Repubblica$d2002 215 $a101 p.$cill.$d24 cm 300 $aIn testa al frontespizio: Presidenza della Repubblica italiana 606 0 $aOnorificenze$2BNCF 676 $a929.81 712 02$aItalia :$bPresidenza della Repubblica 801 0$aIT$bsalbc$cISBD 912 $a990001150200203316 951 $aX.3.B. 706(IG XVII S 119)$b35525 G.$cX.3.$d00084859 959 $aBK 969 $aUMA 996 $aOrdine al merito della Repubblica italiana e ordine della Stella della solidarietà italiana$9983157 997 $aUNISA LEADER 02985nam 22006375 450 001 996466458703316 005 20230222133720.0 010 $a3-662-55386-4 024 7 $a10.1007/978-3-662-55386-2 035 $a(CKB)4340000000061668 035 $a(DE-He213)978-3-662-55386-2 035 $a(MiAaPQ)EBC5578910 035 $a(PPN)203668707 035 $a(EXLCZ)994340000000061668 100 $a20170628d2017 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aLogic, Language, Information, and Computation$b[electronic resource] $e24th International Workshop, WoLLIC 2017, London, UK, July 18-21, 2017, Proceedings /$fedited by Juliette Kennedy, Ruy J.G.B. de Queiroz 205 $a1st ed. 2017. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2017. 215 $a1 online resource (X, 401 p. 25 illus.) 225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v10388 311 $a3-662-55385-6 320 $aIncludes bibliographical references and index. 327 $aLogic and Language -- Logic and Information -- Computation -- Mathematical Logic -- Theory of Computation -- Model Theory. - Proof Theory -- Type Theory. Computability Theory. - Complexity Theory. 330 $aEdited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the 24th Workshop on Logic, Language, Information and Communication, WoLLIC 2017, held in London, UK, in August 2017. The 28 contributed papers were carefully reviewed and selected from 61 submissions. They cover interdisciplinary research in pure and applied logic, aiming at interactions between logic and the sciences related to information and computation. . 410 0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v10388 606 $aMachine theory 606 $aArtificial intelligence 606 $aComputer science?Mathematics 606 $aAlgorithms 606 $aFormal Languages and Automata Theory 606 $aArtificial Intelligence 606 $aSymbolic and Algebraic Manipulation 606 $aAlgorithms 615 0$aMachine theory. 615 0$aArtificial intelligence. 615 0$aComputer science?Mathematics. 615 0$aAlgorithms. 615 14$aFormal Languages and Automata Theory. 615 24$aArtificial Intelligence. 615 24$aSymbolic and Algebraic Manipulation. 615 24$aAlgorithms. 676 $a005.131 702 $aKennedy$b Juliette$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $ade Queiroz$b Ruy J.G.B$4edt$4http://id.loc.gov/vocabulary/relators/edt 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a996466458703316 996 $aLogic, Language, Information and Computation$9772504 997 $aUNISA