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
    Jump to: Article
    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 Thu May 26 23:01:27 2022 UTC.