02243nlm0 22006011i 450 9900092542704033219783540705901000925427FED01000925427(Aleph)000925427FED0100092542720100926d2008----km-y0itay50------baengDEdrnn-008mamaaRewriting Techniques and ApplicationsRisorsa elettronica19th International Conference, RTA 2008 Hagenberg, Austria, July 15-17, 2008 Proceedingsedited by David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Andrei VoronkovBerlin ; HeidelbergSpringer2008Lecture Notes in Computer Science0302-97435117Documento elettronicoTestoFormato html, pdfHutchison,DavidKanade,TakeoKittler,JosefKleinberg,Jon M.Mattern,FriedemannMitchell,John C.Naor,MoniNierstrasz,OscarPandu Rangan,C.Steffen,BernhardSudan,MadhuTerzopoulos,DemetriTygar,DougVardi,Moshe Y.Voronkov,AndreiWeikum,GerhardITUNINAREICATUNIMARCFull text per gli utenti Federico IIhttp://dx.doi.org/10.1007/978-3-540-70590-1EB990009254270403321AlgebraData processingArtificial intelligenceArtificial Intelligence (incl. Robotics)Computer scienceComputer ScienceLogic designLogics and Meanings of ProgramsMathematical Logic and Formal LanguagesProgramming Languages, Compilers, InterpretersSymbolic and Algebraic ManipulationRewriting Techniques and Applications774195UNINA