TCS / Research / Publications / Proceedings of the ECAI'96 Workshop on Integrating Nonmonotonicity into Automated Reasoning Systems
Helsinki University of Technology, 
     Laboratory for Theoretical Computer Science

Proceedings of the ECAI'96 Workshop on Integrating Nonmonotonicity into Automated Reasoning Systems

Reference:

Ilkka Niemelä (Ed.). Proceedings of the ECAI'96 Workshop on Integrating Nonmonotonicity into Automated Reasoning Systems. Fachbericht Informatik 18–96, Universität Koblenz-Landau, 1996. Available at http://www.uni-koblenz.de/fb4/publikationen/gelbereihe/.

Suggested BibTeX entry:

@techreport{tpnmr96:tr,
    author = {Niemel\"a (Ed.), Ilkka},
    institution = {Universit{\"a}t Koblenz-Landau},
    note = {Available at \url{http://www.uni-koblenz.de/fb4/publikationen/gelbereihe/}},
    number = {18--96},
    title = {{Proceedings of the ECAI'96 Workshop on Integrating Nonmonotonicity into Automated Reasoning Systems}},
    type = {Fach\-be\-richt Informatik},
    year = {1996},
}

This work is not available online here.

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