Logisches Schliesen mit massiv parallelen Methoden
Aus International Center for Computational Logic
Logisches Schliesen mit massiv parallelen Methoden
Antje StrohmaierAntje Strohmaier
![Logisches Schliesen mit massiv parallelen Methoden Logisches Schliesen mit massiv parallelen Methoden](/w/images/thumb/e/e2/Missing_document_icon.png/150px-Missing_document_icon.png)
Antje Strohmaier
Logisches Schliesen mit massiv parallelen Methoden
Phd thesis, Dresden University of Technology, 1997
Logisches Schliesen mit massiv parallelen Methoden
Phd thesis, Dresden University of Technology, 1997
- 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}
}