Hochschulschrift
Entwurf und Implementierung einer formalen Sprache zur Beschreibung dynamischer Modelle
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Dimensions
-
21 cm
- Extent
-
328 S.
- Language
-
Deutsch
- Notes
-
graph. Darst.
Zugl.: Erlangen, Univ., Diss., 1989
- Bibliographic citation
-
Arbeitsberichte des Instituts für Mathematische Maschinen und Datenverarbeitung (Informatik) / Institut für Mathematische Maschinen und Datenverarbeitung (Informatik) ; Bd. 23, Nr. 1
- Event
-
Veröffentlichung
- (where)
-
Erlangen
- (who)
-
Inst. für Math. Maschinen u. Datenverarbeitung (Informatik)
- (when)
-
1990
- Creator
-
Eschenbacher, Peter
- Table of contents
- Rights
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Last update
-
11.03.2025, 11:40 AM CET
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
- Eschenbacher, Peter
- Inst. für Math. Maschinen u. Datenverarbeitung (Informatik)
Time of origin
- 1990
Other Objects (12)
Syntaxfehler in formalen Sprachen
Behandlung vager Prädikate in formalen Sprachen
Behandlung vager Prädikate in formalen Sprachen
Die formalen Stufen
Eine Sprache zur formalen Spezifikation eingebetteter Systeme
Eine Sprache zur formalen Spezifikation eingebetteter Systeme
ICL - an integrity control language : Konzeption und Implementierung einer formalen Sprache zur Integritätskontrolle von Wissensbasen
Die Generierung natürlicher Sprache aus einer formalen Repräsentation
[Fehlersuche in formalen Spezifikationen]
Die Begriffswelt des Formalen
Sinnwandel der formalen Bildung
Grundlagen der formalen Logik
Syntaxfehler in formalen Sprachen
Behandlung vager Prädikate in formalen Sprachen
Behandlung vager Prädikate in formalen Sprachen
Die formalen Stufen
Eine Sprache zur formalen Spezifikation eingebetteter Systeme
Eine Sprache zur formalen Spezifikation eingebetteter Systeme
ICL - an integrity control language : Konzeption und Implementierung einer formalen Sprache zur Integritätskontrolle von Wissensbasen
Die Generierung natürlicher Sprache aus einer formalen Repräsentation
[Fehlersuche in formalen Spezifikationen]
Die Begriffswelt des Formalen
Sinnwandel der formalen Bildung
Grundlagen der formalen Logik
Syntaxfehler in formalen Sprachen
Behandlung vager Prädikate in formalen Sprachen
Behandlung vager Prädikate in formalen Sprachen
Die formalen Stufen
Eine Sprache zur formalen Spezifikation eingebetteter Systeme
Eine Sprache zur formalen Spezifikation eingebetteter Systeme
ICL - an integrity control language : Konzeption und Implementierung einer formalen Sprache zur Integritätskontrolle von Wissensbasen
Die Generierung natürlicher Sprache aus einer formalen Repräsentation
[Fehlersuche in formalen Spezifikationen]
Die Begriffswelt des Formalen
Sinnwandel der formalen Bildung