01601nlm0 22004571i 450 9900092525404033219783540356363000925254FED01000925254(Aleph)000925254FED0100092525420100926d2006----km-y0itay50------baengDEdrnn-008mamaaAlgebraic Methodology and Software TechnologyRisorsa elettronica11th International Conference, AMAST 2006, Kuressaare, Estonia, July 5-8, 2006. Proceedingsedited by Michael Johnson, Varmo VeneBerlin ; HeidelbergSpringer2006Lecture Notes in Computer Science0302-97434019Documento elettronicoTestoFormato html, pdfJohnson,MichaelVene,VarmoITUNINAREICATUNIMARCFull text per gli utenti Federico IIhttp://dx.doi.org/10.1007/11784180EB990009252540403321AlgebraData processingArtificial intelligenceArtificial Intelligence (incl. Robotics)Computer scienceComputer ScienceLogic designLogics and Meanings of ProgramsMathematical Logic and Formal LanguagesProgramming TechniquesSoftware engineeringSoftware EngineeringSymbolic and Algebraic ManipulationAlgebraic Methodology and Software Technology774301UNINA