01567nlm0 22004571i 450 9900092444204033219783540734338000924442FED01000924442(Aleph)000924442FED0100092444220100926d2007----km-y0itay50------baengDEdrnn-008mamaaAlgebraic BiologyRisorsa elettronicaSecond International Conference, AB 2007, Castle of Hagenberg, Austria, July 2-4, 2007. Proceedingsedited by Hirokazu Anai, Katsuhisa Horimoto, Temur KutsiaBerlin ; HeidelbergSpringer2007Lecture Notes in Computer Science0302-97434545Documento elettronicoTestoFormato html, pdfAnai,HirokazuHorimoto,KatsuhisaKutsia,TemurITUNINAREICATUNIMARCFull text per gli utenti Federico IIhttp://dx.doi.org/10.1007/978-3-540-73433-8EB990009244420403321AlgebraData processingBioinformaticsComputational Biology/BioinformaticsComputer scienceComputer ScienceLogic designLogics and Meanings of ProgramsMathematical Logic and Formal LanguagesSoftware engineeringSoftware EngineeringSymbolic and Algebraic ManipulationAlgebraic Biology772546UNINA