000			03027nam a22006255i 4500
001			978-3-030-75333-7
003			DE-He213
005			20240423125404.0
007			cr nn 008mamaa
008			210505s2021 sz | s |||| 0|eng d
020			_a9783030753337 _9978-3-030-75333-7
024	7		_a10.1007/978-3-030-75333-7 _2doi
050		4	_aQA75.5-76.95
072		7	_aUYA _2bicssc
072		7	_aCOM014000 _2bisacsh
072		7	_aUYA _2thema
082	0	4	_a004.0151 _223
245	1	0	_aFunctional and Constraint Logic Programming _h[electronic resource] : _b28th International Workshop, WFLP 2020, Bologna, Italy, September 7, 2020, Revised Selected Papers / _cedited by Michael Hanus, Claudio Sacerdoti Coen.
250			_a1st ed. 2021.
264		1	_aCham : _bSpringer International Publishing : _bImprint: Springer, _c2021.
300			_aVII, 145 p. 30 illus., 10 illus. in color. _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, _x2512-2029 ; _v12560
505	0		_aProgramming Paradigms -- Implementation and Static Analysis -- Generating and Checking Exercises -- Constraint Programming.
520			_aThis book constitutes the refereed post-conference proceedings of the 28th International Workshop on Functional and Constraint Logic Programming, WFLP 2020, held in Bologna, Italy, in September 2020. Due to the COVID-19, the workshop was held online. From the 19 full papers submitted, 8 were accepted for presentation at the workshop. The accepted papers cover different programming areas of functional and logic programming, including code generation, verification, and debugging.
650		0	_aComputer science.
650		0	_aComputer programming.
650		0	_aComputers.
650		0	_aMachine theory.
650		0	_aComputer systems.
650		0	_aComputers, Special purpose.
650	1	4	_aComputer Science Logic and Foundations of Programming.
650	2	4	_aProgramming Techniques.
650	2	4	_aComputer Hardware.
650	2	4	_aFormal Languages and Automata Theory.
650	2	4	_aComputer System Implementation.
650	2	4	_aSpecial Purpose and Application-Based Systems.
700	1		_aHanus, Michael. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt
700	1		_aSacerdoti Coen, Claudio. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt
710	2		_aSpringerLink (Online service)
773	0		_tSpringer Nature eBook
776	0	8	_iPrinted edition: _z9783030753320
776	0	8	_iPrinted edition: _z9783030753344
830		0	_aTheoretical Computer Science and General Issues, _x2512-2029 ; _v12560
856	4	0	_uhttps://doi.org/10.1007/978-3-030-75333-7
912			_aZDB-2-SCS
912			_aZDB-2-SXCS
912			_aZDB-2-LNC
942			_cSPRINGER
999			_c177395 _d177395