A1-Unification

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche
Toggle side column

A1-Unification

Alwen Fernanto TiuAlwen Fernanto Tiu
A1-Unification


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
@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}
}