01309nam--2200373---45--99000111547020331620021213113806.03-540-44233-2000111547USA01000111547(ALEPH)000111547USA0100011154720021213d2002----km-y0ITAy0103-------baENGDEFunctional and logic programming6th International symposium, FLOPS 2002Aizu, Japan, September 15-17, 2002proceedingsZhenjiang Hu...<et al.>(eds.)BerlinSpringer-Verlagcopyr. 2002VII, 304 p.ill.20 cm.Lecture notes in computer science24412001Lecture notes in computer science2441Elaboratori elettroniciCongressi2002Logica matematicaCongressi2002005.1Hu,ZhenjiangInternational symposium, FLOPS 2002 <6. ; 2002 ; Aizu, Japan>554514ITACBSISBD990001115470203316001 LNCS (2441)0027385 CBS00100113334BKSCIDIGIUSEPPE9020021213USA011138PATRY9020040406USA011717Functional and logic programming981354UNISA