A1-Unification

Alwen Fernanto TiuAlwen Fernanto Tiu

Alwen Fernanto Tiu
A1-Unification
Technical Report, Knowledge Representation and Reasoning Group, Department of Computer Science, Dresden University of Technology, volume WV-01-08, 2001

Details
Bibtex

Forschungsgruppe:Research Group: WissensverarbeitungKnowledge Representation and Reasoning

@techreport{T2001,
  author      = {Alwen Fernanto Tiu},
  title       = {A1-Unification},
  institution = {Knowledge Representation and Reasoning Group, Department of
                 Computer Science, Dresden University of Technology},
  year        = {2001}
}