Types and Sorts: Resource Logic for Feature Checking

    Research output: Book/ReportBookAcademic

    Original languageUndefined
    Place of PublicationThe Hague
    PublisherHolland Academic Graphics
    Number of pages225
    ISBN (Print)90-5569-103-4
    Publication statusPublished - 1999

    Keywords

    • METIS-118824

    Cite this