Lambek theorem proving and feature unification

H.J.B.M. van der Linden

    Research output: Book/ReportReportProfessional

    59 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). Institute for Language Technology and Artifical IntelIigence, Tilburg University.