A system for logical expertise

Ilkka Niemelä, H. Tuominen

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientific

    Original languageEnglish
    Title of host publicationProceedings of the Finnish Artificial Intelligence Symposium
    Place of PublicationEspoo
    PublisherFinnish Society of Information Processing Science
    Publication statusPublished - 1986
    MoE publication typeB3 Non-refereed article in conference proceedings

    Cite this