01407nlm0 22003971i 450 9900092371504033219783540316831000923715FED01000923715(Aleph)000923715FED0100092371520100926d2005----km-y0itay50------baengDEdrnn-008mamaaLogic Based Program Synthesis and TransformationRisorsa elettronica14th International Symposium, LOPSTR 2004, Verona, Italy, August 26 – 28, 2004, Revised Selected Papersedited by Sandro EtalleBerlin ; HeidelbergSpringer2005Lecture Notes in Computer Science0302-97433573Documento elettronicoTestoFormato html, pdfEtalle,SandroITUNINAREICATUNIMARCFull text per gli utenti Federico IIhttp://dx.doi.org/10.1007/b137785EB990009237150403321Artificial intelligenceArtificial Intelligence (incl. Robotics)Computer scienceComputer ScienceLogic designLogics and Meanings of ProgramsMathematical Logic and Formal LanguagesProgramming TechniquesLogic Based Program Synthesis and Transformation772041UNINA