A1-Unification
Aus International Center for Computational Logic
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
A1-Unification
Technical Report, Knowledge Representation and Reasoning Group, Department of Computer Science, Dresden University of Technology, volume WV-01-08, 2001
- 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}
}