000932625 000__ 04107cam\a2200577Ia\4500
000932625 001__ 932625
000932625 005__ 20230306151615.0
000932625 006__ m\\\\\o\\d\\\\\\\\
000932625 007__ cr\un\nnnunnun
000932625 008__ 200523s2020\\\\sz\\\\\\o\\\\\101\0\eng\d
000932625 019__ $$a1157264912
000932625 020__ $$a9783030467142$$q(electronic book)
000932625 020__ $$a3030467147$$q(electronic book)
000932625 020__ $$z9783030467135
000932625 0247_ $$a10.1007/978-3-030-46714-2$$2doi
000932625 035__ $$aSP(OCoLC)on1153787246
000932625 035__ $$aSP(OCoLC)1153787246$$z(OCoLC)1157264912
000932625 040__ $$aEBLCP$$beng$$cEBLCP$$dGW5XE$$dEBLCP$$dUPM$$dOCLCF
000932625 049__ $$aISEA
000932625 050_4 $$aQA76.615
000932625 08204 $$a005.1/15$$223
000932625 1112_ $$aConference on Declarative Programming$$d(2019 :$$cCottbus, Germany)
000932625 24510 $$aDeclarative programming and knowledge management :$$bConference on Declarative Programming, DECLARE 2019, Unifying INAP, WLP, and WFLP, Cottbus, Germany, September 9-12, 2019, Revised Selected Papers /$$cPetra Hofstedt, Salvador Abreu, Ulrich John, Herbert Kuchen, Dietmar Seipel (eds.).
000932625 2463_ $$aDECLARE 2019
000932625 260__ $$aCham :$$bSpringer,$$c2020.
000932625 300__ $$a1 online resource (313 pages).
000932625 336__ $$atext$$btxt$$2rdacontent
000932625 337__ $$acomputer$$bc$$2rdamedia
000932625 338__ $$aonline resource$$bcr$$2rdacarrier
000932625 347__ $$atext file$$bPDF$$2rda
000932625 4901_ $$aLecture Notes in Computer Science ;$$v12057
000932625 4901_ $$aLecture notes in artificial intelligence
000932625 4901_ $$aLNCS Sublibrary,  SL 7, Artificial Intelligence
000932625 500__ $$aIncludes author index.
000932625 5050_ $$aInvited Talks -- GPU-based parallelism for ASP-solving -- A Process Calculus for Formally Verifying Blockchain Consensus Protocols -- 22nd International Conference on Applications of Declarative Programming and Knowledge Management -- INAP 2019 -- Modular Modeling and Optimized Scheduling of Building Energy Systems Based on Mixed Integer Programming -- Finding Maximal Non-Redundant Association Rules in Tennis Data -- From Textual Information Sources to Linked Data in the Agatha Project -- Allen's Interval Algebra Makes the Difference -- Exploring Properties of Icosoku by Constraint Satisfaction Approach -- The Regularization of Small Sub-Constraint Satisfaction Problems -- 33rd Workshop on (Constraint) Logic Programming -- WLP 2019 -- Declarative Programming for Microcontrollers -- Datalog on Arduino -- Towards Constraint Logic Programming over Strings for Test Data Generation -- Facets of the PIE Environment for Proving, Interpolating and Eliminating on the Basis of First-Order Logic -- KBSET -- Knowledge-Based Support for Scholarly Editing and Text Processing with Declarative LaTeX Markup and a Core Written in SWI-Prolog -- 27th International Workshop on Functional and Logic Programming -- WFLP 2019 -- Structured Traversal of Search Trees in Constraint-logic Object-oriented Programming -- Performance Analysis of Zippers -- Adding Data to Curry -- Free Theorems Simply, via Dinaturality -- Improving the Performance of the Paisley Pattern-Matching EDSL by Staged Combinatorial Compilation -- ICurry.
000932625 506__ $$aAccess limited to authorized users.
000932625 588__ $$aDescription based on print version record.
000932625 650_0 $$aDeclarative programming$$vCongresses.
000932625 7001_ $$aHofstedt, Petra.
000932625 7001_ $$aAbreu, Salvador,$$d1961-
000932625 7001_ $$aJohn, Ulrich.
000932625 7001_ $$aKuchen, Herbert,$$d1958-
000932625 7001_ $$aSeipel, Dietmar.
000932625 77608 $$iPrint version:$$aHofstedt, Petra$$tDeclarative Programming and Knowledge Management : Conference on Declarative Programming, DECLARE 2019, Unifying INAP, WLP, and WFLP, Cottbus, Germany, September 9-12, 2019, Revised Selected Papers$$dCham : Springer International Publishing AG,c2020$$z9783030467135
000932625 830_0 $$aLecture notes in computer science ;$$v12057.
000932625 830_0 $$aLecture notes in computer science.$$pLecture notes in artificial intelligence.
000932625 830_0 $$aLNCS sublibrary.$$nSL 7,$$pArtificial intelligence.
000932625 852__ $$bebk
000932625 85640 $$3SpringerLink$$uhttps://univsouthin.idm.oclc.org/login?url=http://link.springer.com/10.1007/978-3-030-46714-2$$zOnline Access$$91397441.1
000932625 909CO $$ooai:library.usi.edu:932625$$pGLOBAL_SET
000932625 980__ $$aEBOOK
000932625 980__ $$aBIB
000932625 982__ $$aEbook
000932625 983__ $$aOnline
000932625 994__ $$a92$$bISE