000944117 000__ 03298cam\a2200613Ii\4500
000944117 001__ 944117
000944117 005__ 20230306152358.0
000944117 006__ m\\\\\o\\d\\\\\\\\
000944117 007__ cr\nn\nnnunnun
000944117 008__ 200925s2020\\\\sz\a\\\\o\\\\\101\0\eng\d
000944117 019__ $$a1195498028$$a1197564305$$a1197837309
000944117 020__ $$a9783030590253$$q(electronic book)
000944117 020__ $$a3030590259$$q(electronic book)
000944117 020__ $$z9783030590246
000944117 020__ $$z3030590240
000944117 0247_ $$a10.1007/978-3-030-59025-3$$2doi
000944117 0248_ $$a10.1007/978-3-030-59
000944117 035__ $$aSP(OCoLC)on1198395528
000944117 035__ $$aSP(OCoLC)1198395528$$z(OCoLC)1195498028$$z(OCoLC)1197564305$$z(OCoLC)1197837309
000944117 040__ $$aLQU$$beng$$cLQU$$dUPM$$dEBLCP$$dOCLCO$$dSFB$$dYDXIT$$dGW5XE$$dYDX
000944117 049__ $$aISEA
000944117 050_4 $$aQA76.62
000944117 050_4 $$aQA76.758$$b.F86 2020
000944117 08204 $$a005.1$$223
000944117 1112_ $$aFuji International Symposium on Functional and Logic Programming$$n(15th :$$d2020 :$$cOnline)
000944117 24510 $$aFunctional and logic programming :$$b15th International Symposium, FLOPS 2020, Akita, Japan, September 14-16, 2020, Proceedings /$$cKeisuke Nakano, Konstantinos Sagonas (eds.).
000944117 2463_ $$aFLOPS 2020
000944117 264_1 $$aCham :$$bSpringer,$$c2020.
000944117 300__ $$a1 online resource (xii, 221 pages) :$$billustrations
000944117 336__ $$atext$$btxt$$2rdacontent
000944117 337__ $$acomputer$$bc$$2rdamedia
000944117 338__ $$aonline resource$$bcr$$2rdacarrier
000944117 4901_ $$aLecture Notes in Computer Science ;$$v12073
000944117 4901_ $$aLNCS sublibrary, SL 1, Theoretical computer science and general issues
000944117 500__ $$aIncludes author index.
000944117 506__ $$aAccess limited to authorized users.
000944117 520__ $$aThis book constitutes the proceedings of the 15th International Symposium on Functional and Logic Programming, FLOPS 2020, held in Akita, Japan*, in September 2020. The 12 papers presented in this volume were carefully reviewed and selected from 25 submissions. They cover all aspects of the design, semantics, theory, applications, implementations, and teaching of declarative programming focusing on topics such as functional programming, logic programming, declarative programming, constraint programming, formal method, model checking, program transformation, program refinement, and type theory. *The conference was held virtually due to the COVID-19 pandemic.
000944117 650_0 $$aFunctional programming (Computer science)$$vCongresses.
000944117 650_0 $$aLogic programming$$vCongresses.
000944117 650_0 $$aSoftware engineering.
000944117 650_0 $$aProgramming languages (Electronic computers)
000944117 650_0 $$aComputer programming.
000944117 650_0 $$aArtificial intelligence.
000944117 650_0 $$aComputer logic.
000944117 650_0 $$aLogic, Symbolic and mathematical.
000944117 7001_ $$aNakano, Keisuke.
000944117 7001_ $$aSagonas, Konstantinos.
000944117 77608 $$iPrint version:$$aNakano, Keisuke$$tFunctional and Logic Programming : 15th International Symposium, FLOPS 2020, Akita, Japan, September 14-16, 2020, Proceedings$$dCham : Springer International Publishing AG,c2020$$z9783030590246
000944117 830_0 $$aLecture notes in computer science ;$$v12073.
000944117 830_0 $$aLNCS sublibrary.$$nSL 1,$$pTheoretical computer science and general issues.
000944117 852__ $$bebk
000944117 85640 $$3SpringerLink$$uhttps://univsouthin.idm.oclc.org/login?url=https://dx.doi.org/10.1007/978-3-030-59025-3$$zOnline Access
000944117 909CO $$ooai:library.usi.edu:944117$$pGLOBAL_SET
000944117 980__ $$aEBOOK
000944117 980__ $$aBIB
000944117 982__ $$aEbook
000944117 983__ $$aOnline
000944117 994__ $$a92$$bISE