Hochschulschrift
Ein maschinelles Beweissystem zur Behandlung algebraischer Strukturprobleme
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Dimensions
-
21 cm
- Extent
-
187 S.
- Language
-
Deutsch
- Notes
-
3 graph. Darst.
Zugl.: Bonn, Univ., Math.-Naturwissenschaftl. Fak., Diss., 1976.
- Bibliographic citation
-
Informatik-Berichte ; Nr. 14
- Event
-
Veröffentlichung
- (where)
-
Bonn
- (who)
-
Inst. für Informatik, Univ. Bonn
- (when)
-
1977
- Creator
-
Fröning, Rainer
- Table of contents
- Rights
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Last update
-
11.06.2025, 1:42 PM CEST
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Object type
- Hochschulschrift
Associated
- Fröning, Rainer
- Inst. für Informatik, Univ. Bonn
Time of origin
- 1977
Other Objects (12)
Strukturprobleme der Selbsthilfe
Strukturprobleme sozialisierter Betriebe
Strukturprobleme der Unterrichtsstunde
Strukturprobleme der südkoreanischen Wirtschaft
Die Nullklassengruppe algebraischer Funktionenkörper
Zur Spektralgeometrie algebraischer Kurven
Über Schnittpunktsysteme algebraischer Curven
Zur Kompaktifizierung algebraischer Räume
Über Schnittpunktsysteme algebraischer Curven
Über Singularitäten algebraischer Kurven
Zahme Türme algebraischer Funktionenkörper
Vervollständigung topologisch-algebraischer Strukturen
Strukturprobleme der Selbsthilfe
Strukturprobleme sozialisierter Betriebe
Strukturprobleme der Unterrichtsstunde
Strukturprobleme der südkoreanischen Wirtschaft
Die Nullklassengruppe algebraischer Funktionenkörper
Zur Spektralgeometrie algebraischer Kurven
Über Schnittpunktsysteme algebraischer Curven
Zur Kompaktifizierung algebraischer Räume
Über Schnittpunktsysteme algebraischer Curven
Über Singularitäten algebraischer Kurven
Zahme Türme algebraischer Funktionenkörper
Vervollständigung topologisch-algebraischer Strukturen
Strukturprobleme der Selbsthilfe
Strukturprobleme sozialisierter Betriebe
Strukturprobleme der Unterrichtsstunde
Strukturprobleme der südkoreanischen Wirtschaft
Die Nullklassengruppe algebraischer Funktionenkörper
Zur Spektralgeometrie algebraischer Kurven
Über Schnittpunktsysteme algebraischer Curven
Zur Kompaktifizierung algebraischer Räume
Über Schnittpunktsysteme algebraischer Curven
Über Singularitäten algebraischer Kurven
Zahme Türme algebraischer Funktionenkörper