Workshop Deduktion der 20. Jahrestagung für Künstliche Intelligenz

Katalin PrasserKatalin Prasser

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

Details
Bibtex

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