01409nlm0 22003971i 450 9900092469104033219783540326564000924691FED01000924691(Aleph)000924691FED0100092469120100926d2006----km-y0itay50------baengDEdrnn-008mamaaLogic Based Program Synthesis and TransformationRisorsa elettronica15th International Symposium, LOPSTR 2005, London, UK, September 7-9, 2005, Revised Selected Papersedited by Patricia M. HillBerlin ; HeidelbergSpringer2006Lecture Notes in Computer Science0302-97433901Documento elettronicoTestoFormato html, pdfHill,Patricia M.ITUNINAREICATUNIMARCFull text per gli utenti Federico IIhttp://dx.doi.org/10.1007/11680093EB990009246910403321Artificial intelligenceArtificial Intelligence (incl. Robotics)Computer scienceComputer ScienceLogic designLogics and Meanings of ProgramsMathematical Logic and Formal LanguagesProgramming TechniquesLogic Based Program Synthesis and Transformation772041UNINA01002nam0-22002891i-450-99000680449040332120001010000680449FED01000680449(Aleph)000680449FED0100068044920001010d--------km-y0itay50------baitay-------001yyContributo delle forze sociali alle prospettive di rinascita delle zone terremotate2. incontro-dibattito sul ...13 marzo 1981Assemblea del Cnel.Romas.e.1981 (RomaTip. Rinascimento)247 p.24 cmQuaderni di documentazione Cnel5CNEL<Consiglio nazionale dell'economia e del lavoro>353588ITUNINARICAUNIMARCBK990006804490403321COLLEZ. 1586 (5)23352FSPBCFSPBCContributo delle forze sociali alle prospettive di rinascita delle zone terremotate633790UNINAGEN0102088oas 2200697 a 450 991089574540332120251105213014.01945-080X(DE-599)ZDB2537866-1(OCoLC)61311446(CONSER) 2008214818(CKB)110978977744563(EXLCZ)9911097897774456320050822b19952014 sy aengurun|||||||||txtrdacontentcrdamediacrrdacarrierLearning and leading with technology the ISTE journal of educational technology practice and policyEugene, OR International Society for Technology in Education1 online resourceRefereed/Peer-reviewed1082-5754 Learn. lead. technol.Computer-assisted instructionOregonPeriodicalsComputer-assisted instructionPeriodicalsComputer literacyPeriodicalsComputer-assisted instructionfast(OCoLC)fst00872725Computer literacyfast(OCoLC)fst00872252Oregonfasthttps://id.oclc.org/worldcat/entity/E39QbtfRDY9Q8vrYX74W7HTxKMPeriodicals.fastZeitschrift.swdComputer-assisted instructionComputer-assisted instructionComputer literacyComputer-assisted instruction.Computer literacy.371371.3/9445International Society for Technology in Education.OCLCSOCLCSOCLCSNSDOCLCQOCLCFCOOCODOCLCQOCLCANTGOCLCQIOYCUSOCLCLOCLCQJOURNAL9910895745403321Learning and leading with technology4257747UNINA