Logisches Schliesen mit massiv parallelen Methoden

PublikationenPublications

• Nach AutorBy Author
• Nach ForschungsgruppeBy Research Group
  • WissensverarbeitungKnowledge Representation and Reasoning

Toggle side column

Logisches Schliesen mit massiv parallelen Methoden

Antje StrohmaierAntje Strohmaier

Antje Strohmaier
Logisches Schliesen mit massiv parallelen Methoden
Phd thesis, Dresden University of Technology, 1997

• Details
• Bibtex

• Forschungsgruppe:Research Group: WissensverarbeitungKnowledge Representation and Reasoning

@phdthesis{S1997,
  author = {Antje Strohmaier},
  title  = {Logisches Schliesen mit massiv parallelen Methoden},
  school = {Dresden University of Technology},
  year   = {1997}
}