TCS / Research / Publications / Helsinki Logic Machine: a System for Logical Expertise
Helsinki University of Technology, 
     Laboratory for Theoretical Computer Science

Helsinki Logic Machine: a System for Logical Expertise

Reference:

Ilkka Niemelä and H. Tuominen. Helsinki Logic Machine: a system for logical expertise. Technical report B1, Helsinki University of Technology, Digital Systems Laboratory, Espoo, Finland, December 1987.

Suggested BibTeX entry:

@techreport{NT87:hlm,
    address = {Espoo, Finland},
    author = {Ilkka Niemel{\"a} and Tuominen, H.},
    institution = {Helsinki University of Technology, Digital Systems Laboratory},
    month = {December},
    number = {B1},
    title = {{Helsinki Logic Machine}: a System for Logical Expertise},
    type = {Technical report},
    year = {1987},
}

This work is not available online here.

[TCS main] [Contact Info] [Personnel] [Research] [Publications] [Software] [Studies] [News Archive] [Links]
Latest update: 19 January 2010.