000 | 02992nam a22006135i 4500 | ||
---|---|---|---|
001 | 978-981-97-2300-3 | ||
003 | DE-He213 | ||
005 | 20240730172113.0 | ||
007 | cr nn 008mamaa | ||
008 | 240516s2024 si | s |||| 0|eng d | ||
020 |
_a9789819723003 _9978-981-97-2300-3 |
||
024 | 7 |
_a10.1007/978-981-97-2300-3 _2doi |
|
050 | 4 | _aQA76.758 | |
072 | 7 |
_aUMZ _2bicssc |
|
072 | 7 |
_aCOM051230 _2bisacsh |
|
072 | 7 |
_aUMZ _2thema |
|
082 | 0 | 4 |
_a005.1 _223 |
245 | 1 | 0 |
_aFunctional and Logic Programming _h[electronic resource] : _b17th International Symposium, FLOPS 2024, Kumamoto, Japan, May 15-17, 2024, Proceedings / _cedited by Jeremy Gibbons, Dale Miller. |
250 | _a1st ed. 2024. | ||
264 | 1 |
_aSingapore : _bSpringer Nature Singapore : _bImprint: Springer, _c2024. |
|
300 |
_aXXVII, 314 p. _bonline resource. |
||
336 |
_atext _btxt _2rdacontent |
||
337 |
_acomputer _bc _2rdamedia |
||
338 |
_aonline resource _bcr _2rdacarrier |
||
347 |
_atext file _bPDF _2rda |
||
490 | 1 |
_aLecture Notes in Computer Science, _x1611-3349 ; _v14659 |
|
520 | _aThis book constitutes the proceedings of the 17th International Symposium on Functional and Logic Programming, FLOPS 2024, held in Kumamoto, Japan, in May 2024. The 15 papers presented in this volume were carefully reviewed and selected from 28 submissions. The scope includes all aspects of the design, semantics, theory, applications, implementations, and teaching of declarative programming. FLOPS speci cally aims to promote cross-fertilization between theory and practice and among di erent styles of declarative programming. | ||
650 | 0 |
_aSoftware engineering. _94138 |
|
650 | 0 |
_aArtificial intelligence. _93407 |
|
650 | 0 |
_aProgramming languages (Electronic computers). _97503 |
|
650 | 0 |
_aComputer programming. _94169 |
|
650 | 0 |
_aComputer science. _99832 |
|
650 | 0 |
_aComputer systems. _9101796 |
|
650 | 1 | 4 |
_aSoftware Engineering. _94138 |
650 | 2 | 4 |
_aArtificial Intelligence. _93407 |
650 | 2 | 4 |
_aProgramming Language. _939403 |
650 | 2 | 4 |
_aProgramming Techniques. _9101799 |
650 | 2 | 4 |
_aComputer Science Logic and Foundations of Programming. _942203 |
650 | 2 | 4 |
_aComputer System Implementation. _938514 |
700 | 1 |
_aGibbons, Jeremy. _eeditor. _0(orcid) _10000-0002-8426-9917 _4edt _4http://id.loc.gov/vocabulary/relators/edt _9101800 |
|
700 | 1 |
_aMiller, Dale. _eeditor. _0(orcid) _10000-0003-0274-4954 _4edt _4http://id.loc.gov/vocabulary/relators/edt _9101803 |
|
710 | 2 |
_aSpringerLink (Online service) _9101805 |
|
773 | 0 | _tSpringer Nature eBook | |
776 | 0 | 8 |
_iPrinted edition: _z9789819722990 |
776 | 0 | 8 |
_iPrinted edition: _z9789819723010 |
830 | 0 |
_aLecture Notes in Computer Science, _x1611-3349 ; _v14659 _923263 |
|
856 | 4 | 0 | _uhttps://doi.org/10.1007/978-981-97-2300-3 |
912 | _aZDB-2-SCS | ||
912 | _aZDB-2-SXCS | ||
912 | _aZDB-2-LNC | ||
942 | _cEBK | ||
999 |
_c88017 _d88017 |