000			03305nam a22005895i 4500
001			978-3-662-55386-2
003			DE-He213
005			20210120143421.0
007			cr nn 008mamaa
008			170628s2017 gw | s |||| 0|eng d
020			_a9783662553862 _9978-3-662-55386-2
024	7		_a10.1007/978-3-662-55386-2 _2doi
050		4	_aQA8.9-10.3
072		7	_aUYA _2bicssc
072		7	_aMAT018000 _2bisacsh
072		7	_aUYA _2thema
082	0	4	_a005.131 _223
245	1	0	_aLogic, Language, Information, and Computation _h[electronic resource] : _b24th International Workshop, WoLLIC 2017, London, UK, July 18-21, 2017, Proceedings / _cedited by Juliette Kennedy, Ruy J.G.B. de Queiroz.
250			_a1st ed. 2017.
264		1	_aBerlin, Heidelberg : _bSpringer Berlin Heidelberg : _bImprint: Springer, _c2017.
300			_aX, 401 p. 25 illus. _bonline resource.
336			_atext _btxt _2rdacontent
337			_acomputer _bc _2rdamedia
338			_aonline resource _bcr _2rdacarrier
347			_atext file _bPDF _2rda
490	1		_aTheoretical Computer Science and General Issues ; _v10388 _aLecture Notes in Computer Science _v10388
505	0		_aLogic and Language -- Logic and Information -- Computation -- Mathematical Logic -- Theory of Computation -- Model Theory. - Proof Theory -- Type Theory. Computability Theory. - Complexity Theory.
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. .
650		0	_aMathematical logic.
650		0	_aArtificial intelligence.
650		0	_aComputer science—Mathematics.
650		0	_aAlgorithms.
650	1	4	_aMathematical Logic and Formal Languages. _0https://scigraph.springernature.com/ontologies/product-market-codes/I16048
650	2	4	_aArtificial Intelligence. _0https://scigraph.springernature.com/ontologies/product-market-codes/I21000
650	2	4	_aSymbolic and Algebraic Manipulation. _0https://scigraph.springernature.com/ontologies/product-market-codes/I17052
650	2	4	_aAlgorithm Analysis and Problem Complexity. _0https://scigraph.springernature.com/ontologies/product-market-codes/I16021
700	1		_aKennedy, Juliette. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt
700	1		_ade Queiroz, Ruy J.G.B. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt
710	2		_aSpringerLink (Online service)
773	0		_tSpringer Nature eBook
776	0	8	_iPrinted edition: _z9783662553855
776	0	8	_iPrinted edition: _z9783662553879
830		0	_aTheoretical Computer Science and General Issues ; _v10388
830		0	_aLecture Notes in Computer Science ; _v10388
856	4	0	_uhttps://doi.org/10.1007/978-3-662-55386-2
912			_aZDB-2-SCS
912			_aZDB-2-SXCS
912			_aZDB-2-LNC
942			_cEBK
999			_c58379 _d58379