%0 Journal Article %1 journals/ia/MascardiDM11 %A Mascardi, Viviana %A Delzanno, Giorgio %A Martelli, Maurizio %D 2011 %J Intelligenza Artificiale %K dblp %N 1 %P 145-149 %T Some applications of Computational Logic to the development of intelligent systems and verification methods. %U http://dblp.uni-trier.de/db/journals/ia/ia5.html#MascardiDM11 %V 5

@article{journals/ia/MascardiDM11, added-at = {2011-02-25T00:00:00.000+0100}, author = {Mascardi, Viviana and Delzanno, Giorgio and Martelli, Maurizio}, biburl = {https://www.bibsonomy.org/bibtex/274fb7cb90d113e01ee6e1939f1ebb672/dblp}, ee = {http://dx.doi.org/10.3233/IA-2011-0018}, interhash = {6b1b2e58933fb18e7593694575724268}, intrahash = {74fb7cb90d113e01ee6e1939f1ebb672}, journal = {Intelligenza Artificiale}, keywords = {dblp}, number = 1, pages = {145-149}, timestamp = {2011-04-29T14:58:24.000+0200}, title = {Some applications of Computational Logic to the development of intelligent systems and verification methods.}, url = {http://dblp.uni-trier.de/db/journals/ia/ia5.html#MascardiDM11}, volume = 5, year = 2011 }