Lambek theorem proving and feature unification

H.J.B.M. van der Linden

    Research output: Book/ReportReport

    36 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