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

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

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

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


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