001436458 000__ 03547cam\a2200637\i\4500
001436458 001__ 1436458
001436458 003__ OCoLC
001436458 005__ 20230309004027.0
001436458 006__ m\\\\\o\\d\\\\\\\\
001436458 007__ cr\cn\nnnunnun
001436458 008__ 210510s2021\\\\sz\a\\\\o\\\\\101\0\eng\d
001436458 020__ $$a9783030753337$$q(electronic bk.)
001436458 020__ $$a3030753336$$q(electronic bk.)
001436458 020__ $$z9783030753320$$q(print)
001436458 0247_ $$a10.1007/978-3-030-75333-7$$2doi
001436458 035__ $$aSP(OCoLC)1250273517
001436458 040__ $$aGW5XE$$beng$$erda$$epn$$cGW5XE$$dOCLCO$$dOCLCF$$dOCLCO$$dOCLCQ$$dCOM$$dOCLCO$$dOCLCQ
001436458 049__ $$aISEA
001436458 050_4 $$aQA76.62
001436458 08204 $$a005.1/14$$223
001436458 1112_ $$aWFLP (Workshop)$$n(28th :$$d2020 :$$cOnline)
001436458 24510 $$aFunctional and constraint logic programming :$$b28th International Workshop, WFLP 2020, Bologna, Italy, September 7, 2020, Revised selected papers /$$cMichael Hanus, Claudio Sacerdoti Coen (eds.).
001436458 2463_ $$aWFLP 2020
001436458 264_1 $$aCham, Switzerland :$$bSpringer,$$c[2021]
001436458 300__ $$a1 online resource (vii, 145 pages) :$$billustrations (some color)
001436458 336__ $$atext$$btxt$$2rdacontent
001436458 337__ $$acomputer$$bc$$2rdamedia
001436458 338__ $$aonline resource$$bcr$$2rdacarrier
001436458 4901_ $$aLecture notes in computer science ;$$v12560
001436458 4901_ $$aLNCS sublibrary, SL 1, Theoretical computer science and general issues
001436458 500__ $$a"This volume contains the proceedings of the 28th International Workshop on Functional and (Constraint) Logic Programming (WFLP 2020), held entirely online due to the coronavirus pandemic, but formally located in Bologna, Italy."--Preface
001436458 500__ $$aIncludes author index.
001436458 5050_ $$aProgramming Paradigms -- Implementation and Static Analysis -- Generating and Checking Exercises -- Constraint Programming.
001436458 506__ $$aAccess limited to authorized users.
001436458 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.
001436458 588__ $$aOnline resource; title from PDF title page (SpringerLink, viewed May 10, 2021).
001436458 650_0 $$aFunctional programming (Computer science)$$vCongresses.
001436458 650_0 $$aConstraint programming (Computer science)$$vCongresses.
001436458 650_0 $$aLogic programming$$vCongresses.
001436458 650_6 $$aProgrammation fonctionnelle$$vCongrès.
001436458 650_6 $$aProgrammation par contraintes$$vCongrès.
001436458 650_6 $$aProgrammation logique$$vCongrès.
001436458 655_7 $$aConference papers and proceedings.$$2fast$$0(OCoLC)fst01423772
001436458 655_7 $$aConference papers and proceedings.$$2lcgft
001436458 655_7 $$aActes de congrès.$$2rvmgf
001436458 655_0 $$aElectronic books.
001436458 7001_ $$aHanus, Michael,$$d1959-$$eeditor$$1https://orcid.org/0000-0002-4953-8202
001436458 7001_ $$aSacerdoti Coen, Claudio,$$eeditor$$0(orcid)0000-0002-4360-6016$$1https://orcid.org/0000-0002-4360-6016
001436458 830_0 $$aLecture notes in computer science ;$$v12560.
001436458 830_0 $$aLNCS sublibrary.$$nSL 1,$$pTheoretical computer science and general issues.
001436458 852__ $$bebk
001436458 85640 $$3Springer Nature$$uhttps://univsouthin.idm.oclc.org/login?url=https://link.springer.com/10.1007/978-3-030-75333-7$$zOnline Access$$91397441.1
001436458 909CO $$ooai:library.usi.edu:1436458$$pGLOBAL_SET
001436458 980__ $$aBIB
001436458 980__ $$aEBOOK
001436458 982__ $$aEbook
001436458 983__ $$aOnline
001436458 994__ $$a92$$bISE