- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783486217797
3486217798
- Dimensions
-
23 cm
- Extent
-
151 S.
- Language
-
Deutsch
- Notes
-
Zugl.: Karlsruhe, Univ., Diss., 1990
- Bibliographic citation
-
Berichte der Gesellschaft für Mathematik und Datenverarbeitung / Gesellschaft für Mathematik und Datenverarbeitung ; Nr. 188
- Keyword
-
Deduktionssystem
Suchverfahren
Komplexität
Automatisches Beweisverfahren
- Event
-
Veröffentlichung
- (where)
-
München, Wien
- (who)
-
Oldenbourg
- (when)
-
1990
- Creator
-
Dietrich, Roland
- 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, 2:08 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
- Dietrich, Roland
- Oldenbourg
Time of origin
- 1990
Other Objects (12)
Nationalsozialistische Rüstungspolitik und unternehmerischer Entscheidungsspielraum : vergleichende Fallstudien zur württembergischen Maschinenbauindustrie
Die Dinge der Ordnung : eine vergleichende Untersuchung über die osmanische Reformpolitik im 19. Jahrhundert
Finanzanalyse : Grundlagen der markttechnischen Analyse
Ein Modell zur Analyse programminhärenter Zusicherungen
Vergleichende Volkswirtschaftslehre
Vergleichende Volkswirtschaftslehre
T. G. Masaryk und die tschechische Frage, 1.. Nationale Ideologie und politische Tätigkeit bis zum Scheitern des deutsch-tschechischen Ausgleichsversuchs vom Februar 1909
Steuerliche Förderung selbstgenutzten Wohneigentums, Buch.
"Die Manie der Revolte", Halbbd. 1
Systemplanung, Bd. 1.. Analyse und Grobprojektierung von Informationssystemen
Kybernetische Analyse von Lernprozessen : Integration lernpsycholog. u. etholog. Vorstellungen über Bekräftigung (reinforcement). Mit 1 Tab.
Arbeitszufriedenheit bei automatisierter Datenverarbeitung : e. empir. Analyse zur Benutzeradäquanz computergestützter Informationssysteme
Nationalsozialistische Rüstungspolitik und unternehmerischer Entscheidungsspielraum : vergleichende Fallstudien zur württembergischen Maschinenbauindustrie
Die Dinge der Ordnung : eine vergleichende Untersuchung über die osmanische Reformpolitik im 19. Jahrhundert
Finanzanalyse : Grundlagen der markttechnischen Analyse
Ein Modell zur Analyse programminhärenter Zusicherungen
Vergleichende Volkswirtschaftslehre
Vergleichende Volkswirtschaftslehre
T. G. Masaryk und die tschechische Frage, 1.. Nationale Ideologie und politische Tätigkeit bis zum Scheitern des deutsch-tschechischen Ausgleichsversuchs vom Februar 1909
Steuerliche Förderung selbstgenutzten Wohneigentums, Buch.
"Die Manie der Revolte", Halbbd. 1
Systemplanung, Bd. 1.. Analyse und Grobprojektierung von Informationssystemen
Kybernetische Analyse von Lernprozessen : Integration lernpsycholog. u. etholog. Vorstellungen über Bekräftigung (reinforcement). Mit 1 Tab.
Arbeitszufriedenheit bei automatisierter Datenverarbeitung : e. empir. Analyse zur Benutzeradäquanz computergestützter Informationssysteme
Nationalsozialistische Rüstungspolitik und unternehmerischer Entscheidungsspielraum : vergleichende Fallstudien zur württembergischen Maschinenbauindustrie
Die Dinge der Ordnung : eine vergleichende Untersuchung über die osmanische Reformpolitik im 19. Jahrhundert
Finanzanalyse : Grundlagen der markttechnischen Analyse
Ein Modell zur Analyse programminhärenter Zusicherungen
Vergleichende Volkswirtschaftslehre
Vergleichende Volkswirtschaftslehre
T. G. Masaryk und die tschechische Frage, 1.. Nationale Ideologie und politische Tätigkeit bis zum Scheitern des deutsch-tschechischen Ausgleichsversuchs vom Februar 1909
Steuerliche Förderung selbstgenutzten Wohneigentums, Buch.
"Die Manie der Revolte", Halbbd. 1
Systemplanung, Bd. 1.. Analyse und Grobprojektierung von Informationssystemen
Kybernetische Analyse von Lernprozessen : Integration lernpsycholog. u. etholog. Vorstellungen über Bekräftigung (reinforcement). Mit 1 Tab.