Fallstudie zur Parallelisierung automatischer Beweisverfahren
Publisher: Gesellschaft f"ur Mathematik und Datenverarbeitung
Published: 1986
Place of publication: Sankt Augstin, W.-Germany
Language: ger
Number of pages: 34