000 | 03712nam a22006615i 4500 | ||
---|---|---|---|
001 | 978-3-319-73305-0 | ||
003 | DE-He213 | ||
005 | 20210201191356.0 | ||
007 | cr nn 008mamaa | ||
008 | 171221s2018 gw | s |||| 0|eng d | ||
020 |
_a9783319733050 _9978-3-319-73305-0 |
||
050 | 4 | _aQA76.7-76.73 | |
050 | 4 | _aQA76.76.C65 | |
072 | 7 |
_aUMX _2bicssc |
|
072 | 7 |
_aCOM051010 _2bisacsh |
|
072 | 7 |
_aUMX _2thema |
|
072 | 7 |
_aUMC _2thema |
|
082 | 0 | 4 |
_a005.13 _223 |
245 | 1 | 0 |
_aPractical Aspects of Declarative Languages _h[electronic resource] : _b20th International Symposium, PADL 2018, Los Angeles, CA, USA, January 8-9, 2018, Proceedings / _cedited by Francesco Calimeri, Kevin Hamlen, Nicola Leone. |
250 | _a1st ed. 2018. | ||
264 | 1 |
_aCham : _bSpringer International Publishing : _bImprint: Springer, _c2018. |
|
300 |
_aXIV, 203 p. 56 illus. _bonline resource. |
||
336 |
_atext _btxt _2rdacontent |
||
337 |
_acomputer _bc _2rdamedia |
||
338 |
_aonline resource _bcr _2rdacarrier |
||
347 |
_atext file _bPDF _2rda |
||
490 | 1 |
_aProgramming and Software Engineering ; _v10702 |
|
500 | _aAcceso multiusuario | ||
505 | 0 | _aFunctional programming -- Constraint programming and business rules -- Prolog and optimization -- Answer set programming. | |
520 | _aThis book constitutes the proceedings of the 20th International Symposium on Practical Aspects of Declarative Languages, PADL 2018, held in Los Angeles, CA, USA, in January 2018 and collocated with the 45th ACM SIGPLAN Symposium on Principles of Programming Languages. The 13 regular papers presented in this volume together with the abstracts of 2 invited talks were carefully reviewed and selected from 23 submissions. They deal with functional programming; constraint programming and business rules; prolog and optimization; and answer set programming. . | ||
541 |
_fUABC ; _cTemporal ; _d01/01/2021-12/31/2023. |
||
650 | 0 | _aProgramming languages (Electronic computers). | |
650 | 0 | _aComputer logic. | |
650 | 0 | _aMathematical logic. | |
650 | 0 | _aComputer programming. | |
650 | 0 | _aSoftware engineering. | |
650 | 1 | 4 |
_aProgramming Languages, Compilers, Interpreters. _0https://scigraph.springernature.com/ontologies/product-market-codes/I14037 |
650 | 2 | 4 |
_aLogics and Meanings of Programs. _0https://scigraph.springernature.com/ontologies/product-market-codes/I1603X |
650 | 2 | 4 |
_aMathematical Logic and Formal Languages. _0https://scigraph.springernature.com/ontologies/product-market-codes/I16048 |
650 | 2 | 4 |
_aProgramming Techniques. _0https://scigraph.springernature.com/ontologies/product-market-codes/I14010 |
650 | 2 | 4 |
_aSoftware Engineering. _0https://scigraph.springernature.com/ontologies/product-market-codes/I14029 |
700 | 1 |
_aCalimeri, Francesco. _eeditor. _0(orcid)0000-0002-0866-0834 _1https://orcid.org/0000-0002-0866-0834 _4edt _4http://id.loc.gov/vocabulary/relators/edt |
|
700 | 1 |
_aHamlen, Kevin. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt |
|
700 | 1 |
_aLeone, Nicola. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt |
|
710 | 2 | _aSpringerLink (Online service) | |
773 | 0 | _tSpringer Nature eBook | |
776 | 0 | 8 |
_iPrinted edition: _z9783319733043 |
776 | 0 | 8 |
_iPrinted edition: _z9783319733067 |
830 | 0 |
_aProgramming and Software Engineering ; _v10702 |
|
856 | 4 | 0 |
_zLibro electrónico _uhttp://148.231.10.114:2048/login?url=https://doi.org/10.1007/978-3-319-73305-0 |
912 | _aZDB-2-SCS | ||
912 | _aZDB-2-SXCS | ||
912 | _aZDB-2-LNC | ||
942 | _cLIBRO_ELEC | ||
999 |
_c242753 _d242752 |