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 Specification773713UNINA02018nam1 22004811i 450 VAN0002151720250423082826.95820040809d1995 |0itac50 baengUS|||| |||||i e nncˆThe ‰metabolic and molecular bases of inherited diseaseedited by Charles R. Scriver ... [et al.]consulting editors: John B. Stanbury, James B. Wyngaarden, Donald S. FredricksonNew YorkMcGraw-Hill19953 volumi29 cm001VAN000215182001 1001VAN000215192001 2001VAN000215202001 3USNew YorkVANL000011FredricksonDonald S.VANV017822ScriverCharles R.VANV013345StanburyJohn B.VANV017821WyngaardenJames B.VANV017820McGraw Hill <editore>VANV108035650Fredrickson, D.S.Fredrickson, Donald S.VANV062151Fredrickson, D. S.Fredrickson, Donald S.VANV062152Fredrickson, Donald SharpFredrickson, Donald S.VANV247367Fredrickson, DonFredrickson, Donald S.VANV247368Scriver, Charles RobertScriver, Charles R.VANV217163Scriver, C. R.Scriver, Charles R.VANV217164Scriver, C.R.Scriver, Charles R.VANV217165Stanbury, John BrutonStanbury, John B.VANV217166Stanbury, J. B.Stanbury, John B.VANV217167Stanbury, J.B.Stanbury, John B.VANV217168Wyngaarden, J.B.Wyngaarden, James B.VANV217169Wyngaarden, J. B.Wyngaarden, James B.VANV217170Wyngaarden, James BarnesWyngaarden, James B.VANV247369ITSOL20250425RICAVAN00021517Metabolic and molecular bases of inherited disease805985UNICAMPANIA