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 Specification773713UNINA00801nam a2200217 i 450099100437083610753620250306152251.0250306s1986 it er 001 0 ita dBibl. Dip.le Aggr. Studi Umanistici - Sez. FilosofiaitaSocioculturale Scsita210.1423Religione e linguaggio /Carlo Molari ... [et al.]Modena :Mucchi,1986115 p. ;24 cmQuaderni della fondazione S. Carlo ;2ReligioneRapporti [con il]LinguaggioMolari, Carlo<1928-2022>authorhttp://id.loc.gov/vocabulary/relators/aut156353Quaderni della fondazione S. Carlo ;2991004370836107536Religione e linguaggio4315700UNISALENTO