Algorithms for generation in Lambek theorem proving

H.J.B.M. van der Linden, G.A.G. Minnen

    Research output: Book/ReportReport

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

    Publication series

    NameITK Research Report

    Cite this