MURAL - Maynooth University Research Archive Library



    Items where Author is "Grijincu, D."


    [up] Up a level
    Group by: Item Type | Date | No Grouping
    Jump to: Article
    Number of items: 2.

    Article

    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:04:55 2024 UTC.
    MURAL - Maynooth University Research Archive Library is powered by EPrints 3.4 which is developed by the School of Electronics and Computer Science at the University of Southampton. About EPrints | Accessibility