Workshop Deduktion der 20. Jahrestagung für Künstliche Intelligenz
From International Center for Computational Logic
Workshop Deduktion der 20. Jahrestagung für Künstliche Intelligenz
Katalin PrasserKatalin Prasser
![Workshop Deduktion der 20. Jahrestagung für Künstliche Intelligenz Workshop Deduktion der 20. Jahrestagung für Künstliche Intelligenz](/w/images/thumb/e/e2/Missing_document_icon.png/150px-Missing_document_icon.png)
Katalin Prasser
Workshop Deduktion der 20. Jahrestagung für Künstliche Intelligenz
Technical Report, Knowledge Representation and Reasoning Group, Department of Computer Science, Dresden University of Technology, volume WV-96-09, 1996
Workshop Deduktion der 20. Jahrestagung für Künstliche Intelligenz
Technical Report, Knowledge Representation and Reasoning Group, Department of Computer Science, Dresden University of Technology, volume WV-96-09, 1996
- Forschungsgruppe:Research Group: WissensverarbeitungKnowledge Representation and Reasoning
@techreport{P1996,
author = {Katalin Prasser},
title = {Workshop Deduktion der 20. Jahrestagung f{\"{u}}r
K{\"{u}}nstliche Intelligenz},
institution = {Knowledge Representation and Reasoning Group, Department of
Computer Science, Dresden University of Technology},
year = {1996}
}