MURAL - Maynooth University Research Archive Library



    Items where Author is "Pitu, M."


    Up a level
    Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
    Group by: Item Type | Date | No Grouping
    Number of items: 2.

    O’Donoghue, Diarmuid and Monahan, Rosemary and Grijincu, D. and Pitu, M. and Halim, F. and Rahman, F. and 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. and Grijincu, D. and Li, P. and Saleem, A. and 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 Wed Mar 27 23:13:29 2024 UTC.