MURAL - Maynooth University Research Archive Library



    Items where Author is "Pitu, M."


    Group by: Item Type | Date | No Grouping
    Number of items: 2.

    O’Donoghue, Diarmuid, Monahan, Rosemary, Grijincu, D., Pitu, M., Halim, F., Rahman, F., Abgaz, Yalemisew and Hurley, D. (2014) Creating Formal Specifications with Analogical Reasoning. PICS - Publication Series of the Institute of Cognitive Science, 1-2014. ISSN 1610-5389

    Pitu, M., Grijincu, D., Li, P., Saleem, A., Monahan, Rosemary and O'Donoghue, Diarmuid (2013) Arís: Analogical Reasoning for reuse of Implementation & Specification. Proceedings of AI4FM 2013.

    This list was generated on Mon Dec 23 01:35:21 2024 UTC.