01301nam--2200385---450-99000296226020331620070809125454.03-540-22152-2000296226USA01000296226(ALEPH)000296226USA0100029622620070809d2004----km-y0itay0103----baengDEa|||||||001yyProgram Development in Computational Logica decade of research advances in logic-based program developmentMaurice Bruynooghe, Kunk-Kiu Lau(Eds.)Berlin [etc.]Springercopyr. 2004VIII, 538 p.ill.24 cm.Lecture notes in computer science3049State of the Art Survey2001Lecture notes in computer science3049State of the Art Survey2001001-------2001InformaticaProgrammazione004.071245BRUYNOOGHE,Maurice597818LAU,Kung-Kiu597819ITsalbcISBD990002962260203316001 LNCS 304931129/CBS00100215279BKSCISENATORE9020070809USA011254Program Development in Computational Logic1027011UNISA