01530nlm0 22004451i 450 9900092621504033219783642041648000926215FED01000926215(Aleph)000926215FED0100092621520100926d2009----km-y0itay50------baengDEdrnn-008mamaaSemantics and Algebraic SpecificationRisorsa elettronicaEssays Dedicated to Peter D. Mosses on the Occasion of His 60th Birthdayedited by Jens PalsbergBerlin ; HeidelbergSpringer2009Lecture Notes in Computer Science0302-97435700Documento elettronicoTestoFormato html, pdfPalsberg,JensITUNINAREICATUNIMARCFull text per gli utenti Federico IIhttp://dx.doi.org/10.1007/978-3-642-04164-8EB990009262150403321AlgebraData processingArtificial intelligenceArtificial Intelligence (incl. Robotics)Computer scienceComputer ScienceLogic designLogics and Meanings of ProgramsMathematical Logic and Formal LanguagesProgramming TechniquesSoftware engineeringSoftware EngineeringSymbolic and Algebraic ManipulationSemantics and Algebraic Specification773713UNINA