000796251 000__ 03212cam\a2200577Ii\4500
000796251 001__ 796251
000796251 005__ 20230306143540.0
000796251 006__ m\\\\\o\\d\\\\\\\\
000796251 007__ cr\cnunnnunuuu
000796251 008__ 170714s2017\\\\gw\a\\\\o\\\\\101\0\eng\d
000796251 019__ $$a996406768
000796251 020__ $$a9783662553862$$q(electronic book)
000796251 020__ $$a3662553864$$q(electronic book)
000796251 020__ $$z9783662553855
000796251 0247_ $$a10.1007/978-3-662-55386-2$$2doi
000796251 035__ $$aSP(OCoLC)ocn993671282
000796251 035__ $$aSP(OCoLC)993671282$$z(OCoLC)996406768
000796251 040__ $$aGW5XE$$beng$$erda$$epn$$cGW5XE$$dYDX$$dAZU$$dOCLCF$$dUAB
000796251 049__ $$aISEA
000796251 050_4 $$aQA9.A1$$bW67 2017eb
000796251 08204 $$a005.13/1$$223
000796251 1112_ $$aWorkshop on Logic, Language, Information and Computation$$n(24th :$$d2017 :$$cLondon, England)
000796251 24510 $$aLogic, language, information, and computation :$$b24th International Workshop, WoLLIC 2017, London, UK, July 18-21, 2017, Proceedings /$$cJuliette Kennedy, Ruy J.G.B. de Queiroz (eds.).
000796251 2463_ $$aWoLLIC 2017
000796251 264_1 $$aBerlin, Germany :$$bSpringer,$$c2017.
000796251 300__ $$a1 online resource (x, 401 pages) :$$billustrations.
000796251 336__ $$atext$$btxt$$2rdacontent
000796251 337__ $$acomputer$$bc$$2rdamedia
000796251 338__ $$aonline resource$$bcr$$2rdacarrier
000796251 347__ $$atext file$$bPDF$$2rda
000796251 4901_ $$aLecture notes in computer science,$$x0302-9743 ;$$v10388
000796251 4901_ $$aFoLLI publications on logic, language and information
000796251 4901_ $$aLNCS sublibrary. SL 1, Theoretical computer science and general issues
000796251 500__ $$aInternational conference proceedings.
000796251 500__ $$aIncludes author index.
000796251 5050_ $$aLogic and Language -- Logic and Information -- Computation -- Mathematical Logic -- Theory of Computation -- Model Theory. -- Proof Theory -- Type Theory. Computability Theory. -- Complexity Theory.
000796251 506__ $$aAccess limited to authorized users.
000796251 520__ $$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. .
000796251 588__ $$aOnline resource; title from PDF title page (SpringerLink, viewed July 14, 2017).
000796251 650_0 $$aLogic, Symbolic and mathematical$$vCongresses.
000796251 650_0 $$aLanguage and logic$$vCongresses.
000796251 7001_ $$aKennedy, Juliette,$$d1955-$$eeditor.
000796251 7001_ $$aQueiroz, Ruy J. G. B. de.$$eeditor.
000796251 77608 $$iPrint version:$$z9783662553855
000796251 830_0 $$aLecture notes in computer science ;$$v10388.$$x0302-9743
000796251 830_0 $$aLecture notes in computer science.$$pLecture notes in artificial intelligence.$$pFoLLI publications on logic, language and information.
000796251 830_0 $$aLNCS sublibrary.$$nSL 1,$$pTheoretical computer science and general issues.
000796251 852__ $$bebk
000796251 85640 $$3SpringerLink$$uhttps://univsouthin.idm.oclc.org/login?url=http://link.springer.com/10.1007/978-3-662-55386-2$$zOnline Access$$91397441.1
000796251 909CO $$ooai:library.usi.edu:796251$$pGLOBAL_SET
000796251 980__ $$aEBOOK
000796251 980__ $$aBIB
000796251 982__ $$aEbook
000796251 983__ $$aOnline
000796251 994__ $$a92$$bISE