LEADER 03162nam  22007815  450 
001 9910483392703321
005 20251226204032.0
010   $a3-319-07151-3
024 7 $a10.1007/978-3-319-07151-0
035   $a(CKB)3710000000119150
035   $a(DE-He213)978-3-319-07151-0
035   $a(SSID)ssj0001242896
035   $a(PQKBManifestationID)11727249
035   $a(PQKBTitleCode)TC0001242896
035   $a(PQKBWorkID)11262136
035   $a(PQKB)10240251
035   $a(MiAaPQ)EBC3093331
035   $a(PPN)17878284X
035   $a(EXLCZ)993710000000119150
100   $a20140522d2014      u|         0
101 0 $aeng
135   $aurnn#008mamaa
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aFunctional and Logic Programming $e12th International Symposium, FLOPS 2014, Kanazawa, Japan, June 4-6, 2014. Proceedings /$fedited by Michael Codish, Eijiro Sumii
205   $a1st ed. 2014.
210  1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2014.
215   $a1 online resource (XVI, 353 p. 81 illus.)
225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v8475
300   $aBibliographic Level Mode of Issuance: Monograph
311 08$a3-319-07150-5 
330   $aThis book constitutes the refereed proceedings of the 12th International Symposium on Functional and Logic Programming, FLOPS 2014, held in Kanazawa, Japan, in June 2014. The 21 full papers and 3 invited talks presented in this volume were carefully reviewed and selected from 41 submissions. They deal with declarative programming, including functional programming and logic programming.
410  0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v8475
606   $aSoftware engineering
606   $aComputer science
606   $aCompilers (Computer programs)
606   $aMachine theory
606   $aArtificial intelligence
606   $aComputer programming
606   $aSoftware Engineering
606   $aComputer Science Logic and Foundations of Programming
606   $aCompilers and Interpreters
606   $aFormal Languages and Automata Theory
606   $aArtificial Intelligence
606   $aProgramming Techniques
615  0$aSoftware engineering.
615  0$aComputer science.
615  0$aCompilers (Computer programs).
615  0$aMachine theory.
615  0$aArtificial intelligence.
615  0$aComputer programming.
615 14$aSoftware Engineering.
615 24$aComputer Science Logic and Foundations of Programming.
615 24$aCompilers and Interpreters.
615 24$aFormal Languages and Automata Theory.
615 24$aArtificial Intelligence.
615 24$aProgramming Techniques.
676   $a005.114
702   $aCodish$b Michael$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aSumii$b Eijiro$4edt$4http://id.loc.gov/vocabulary/relators/edt
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9910483392703321
996   $aFunctional and Logic Programming$9772537
997   $aUNINA