Helsinki Logic Machine: a system for logical expertise

Ilkka Niemelä, Heikki Tuominen

    Research output: Book/ReportCommissioned report

    Original languageEnglish
    Place of PublicationEspoo
    PublisherHelsinki University of Technology
    Number of pages57
    ISBN (Print)951-754-343-3
    Publication statusPublished - 1988
    MoE publication typeD4 Published development or research report or study

    Publication series

    NameDigital Systems Laboratory. Technical reports
    No.B1
    ISSN (Print)0783-540X

    Cite this