TCS / Research / Publications / A System for Logical Expertise
Helsinki University of Technology, 
     Laboratory for Theoretical Computer Science

A System for Logical Expertise

Reference:

Ilkka Niemelä and H. Tuominen. A system for logical expertise. In Proceedings of the Finnish Artificial Intelligence Symposium, Volume 2, pages 44–53, Espoo, Finland, August 1986. Finnish Society of Information Processing Science.

Suggested BibTeX entry:

@inproceedings{NT86:hlm,
    address = {Espoo, Finland},
    author = {Ilkka Niemel{\"a} and Tuominen, H.},
    booktitle = {Proceedings of the Finnish Artificial Intelligence Symposium, Volume 2},
    month = {August},
    pages = {44--53},
    publisher = {Finnish Society of Information Processing Science},
    title = {A System for Logical Expertise},
    year = {1986},
}

This work is not available online here.

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