LEADER 01371nam 2200421 450 001 996465943403316 005 20230120053038.0 010 $a3-540-78969-3 024 7 $a10.1007/978-3-540-78969-7 035 $a(MiAaPQ)EBC6694630 035 $a(MiAaPQ)EBC4975651 035 $a(PPN)125218745 035 $a(EXLCZ)991000000000490600 100 $a20220423d2008 uy 0 101 0 $aeng 135 $aurnn#---mamaa 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 00$aFunctional and logic programming $e9th international symposium, FLOPS 2008, Ise, Japan, April 14-16, 2008 : proceedings /$fJacques Garrigue, Manuel Hermenegildo (editors) 210 1$aBerlin ;$aHeidelberg :$cSpringer-Verlag,$d[2008] 210 4$d??2008 215 $axi, 340p 225 1 $aLecture notes in computer science ;$v4989 410 0$aLecture notes in computer science ;$v4989. 606 $aLogic programming$vCongresses 615 0$aLogic programming 676 $a005.115 702 $aGarrigue$b Jacques 702 $aHermenegildo$b Manuel 712 12$aFuji International Symposium on Functional and Logic Programming 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a996465943403316 996 $aFunctional and Logic Programming$9772537 997 $aUNISA