Lambek theorem proving and feature unification

H.J.B.M. van der Linden

    Research output: Book/ReportReportProfessional

    21 Downloads (Pure)
    Original languageEnglish
    Place of PublicationTilburg
    PublisherInstitute for Language Technology and Artifical IntelIigence, Tilburg University
    Number of pages7
    Volume6
    Publication statusPublished - 1989

    Publication series

    NameITK Research Report

    Cite this

    van der Linden, H. J. B. M. (1989). Lambek theorem proving and feature unification. (ITK Research Report). Tilburg: Institute for Language Technology and Artifical IntelIigence, Tilburg University.
    van der Linden, H.J.B.M. / Lambek theorem proving and feature unification. Tilburg : Institute for Language Technology and Artifical IntelIigence, Tilburg University, 1989. 7 p. (ITK Research Report).
    @book{8325eec3adef4ffeb16a305a51edb407,
    title = "Lambek theorem proving and feature unification",
    author = "{van der Linden}, H.J.B.M.",
    year = "1989",
    language = "English",
    volume = "6",
    series = "ITK Research Report",
    publisher = "Institute for Language Technology and Artifical IntelIigence, Tilburg University",

    }

    van der Linden, HJBM 1989, Lambek theorem proving and feature unification. ITK Research Report, vol. 6, Institute for Language Technology and Artifical IntelIigence, Tilburg University, Tilburg.

    Lambek theorem proving and feature unification. / van der Linden, H.J.B.M.

    Tilburg : Institute for Language Technology and Artifical IntelIigence, Tilburg University, 1989. 7 p. (ITK Research Report).

    Research output: Book/ReportReportProfessional

    TY - BOOK

    T1 - Lambek theorem proving and feature unification

    AU - van der Linden, H.J.B.M.

    PY - 1989

    Y1 - 1989

    M3 - Report

    VL - 6

    T3 - ITK Research Report

    BT - Lambek theorem proving and feature unification

    PB - Institute for Language Technology and Artifical IntelIigence, Tilburg University

    CY - Tilburg

    ER -

    van der Linden HJBM. Lambek theorem proving and feature unification. Tilburg: Institute for Language Technology and Artifical IntelIigence, Tilburg University, 1989. 7 p. (ITK Research Report).