Logisches Schliesen mit massiv parallelen Methoden
From International Center for Computational Logic
Logisches Schliesen mit massiv parallelen Methoden
Antje StrohmaierAntje Strohmaier
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}
}
