Helsinki Logic Machine: a system for logical expertise

Ilkka Niemelä, Heikki Tuominen

    Tutkimustuotos: KirjaCommissioned report

    AlkuperäiskieliEnglanti
    JulkaisupaikkaEspoo
    KustantajaHelsinki University of Technology
    Sivumäärä57
    ISBN (painettu)951-754-343-3
    TilaJulkaistu - 1988
    OKM-julkaisutyyppiD4 Julkaistu kehittämis- tai tutkimusraportti taikka -selvitys

    Julkaisusarja

    NimiDigital Systems Laboratory. Technical reports
    NumeroB1
    ISSN (painettu)0783-540X

    Siteeraa tätä