An Algorithm for the Retrieval of Unifiers from Discrimination Trees

J.M.G.G. de Nivelle

    Research output: Chapter in Book/Report/Conference proceedingChapterScientific

    Original languageEnglish
    Title of host publicationLogics in Artificial Intelligence; Proceedings
    Place of PublicationBerlin
    PublisherSpringer Verlag
    Pages18-33
    Number of pages16
    ISBN (Print)3540536868
    Publication statusPublished - 1996

    Cite this

    de Nivelle, J. M. G. G. (1996). An Algorithm for the Retrieval of Unifiers from Discrimination Trees. In Logics in Artificial Intelligence; Proceedings (pp. 18-33). Berlin: Springer Verlag.
    de Nivelle, J.M.G.G. / An Algorithm for the Retrieval of Unifiers from Discrimination Trees. Logics in Artificial Intelligence; Proceedings. Berlin : Springer Verlag, 1996. pp. 18-33
    @inbook{0bf4750f801047ac800622e6f77c9f4e,
    title = "An Algorithm for the Retrieval of Unifiers from Discrimination Trees",
    author = "{de Nivelle}, J.M.G.G.",
    note = "Pagination: 16",
    year = "1996",
    language = "English",
    isbn = "3540536868",
    pages = "18--33",
    booktitle = "Logics in Artificial Intelligence; Proceedings",
    publisher = "Springer Verlag",
    address = "Germany",

    }

    de Nivelle, JMGG 1996, An Algorithm for the Retrieval of Unifiers from Discrimination Trees. in Logics in Artificial Intelligence; Proceedings. Springer Verlag, Berlin, pp. 18-33.

    An Algorithm for the Retrieval of Unifiers from Discrimination Trees. / de Nivelle, J.M.G.G.

    Logics in Artificial Intelligence; Proceedings. Berlin : Springer Verlag, 1996. p. 18-33.

    Research output: Chapter in Book/Report/Conference proceedingChapterScientific

    TY - CHAP

    T1 - An Algorithm for the Retrieval of Unifiers from Discrimination Trees

    AU - de Nivelle, J.M.G.G.

    N1 - Pagination: 16

    PY - 1996

    Y1 - 1996

    M3 - Chapter

    SN - 3540536868

    SP - 18

    EP - 33

    BT - Logics in Artificial Intelligence; Proceedings

    PB - Springer Verlag

    CY - Berlin

    ER -

    de Nivelle JMGG. An Algorithm for the Retrieval of Unifiers from Discrimination Trees. In Logics in Artificial Intelligence; Proceedings. Berlin: Springer Verlag. 1996. p. 18-33