ICL - an integrity control language : Konzeption und Implementierung einer formalen Sprache zur Integritätskontrolle von Wissensbasen

zu Verbundenen Objekten

Standort
Deutsche Nationalbibliothek Frankfurt am Main
Maße
30 cm
Umfang
95 S.
Sprache
Deutsch
Anmerkungen
graph. Darst.
Literaturverz. S. 93 - 95

Erschienen in
IWBS-Report / Institut für Wissensbasierte Systeme ; 186

Ereignis
Veröffentlichung
(wo)
[Heidelberg]
(wer)
IWBS
(wann)
1991
Urheber
Müller, Adrian

Inhaltsverzeichnis
Rechteinformation
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
Letzte Aktualisierung
11.06.2025, 13:31 MESZ

Datenpartner

Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.

Beteiligte

  • Müller, Adrian
  • IWBS

Entstanden

  • 1991

Ähnliche Objekte (12)

Entwurf und Implementierung einer formalen Sprache zur Beschreibung dynamischer Modelle

Hochschulschrift

Entwurf und Implementierung einer formalen Sprache zur Beschreibung dynamischer Modelle

Die formalen Stufen

Aufsatz

Die formalen Stufen

I. Die formalen Grundlagen.

Kapitel

I. Die formalen Grundlagen.

Syntaxfehler in formalen Sprachen

Syntaxfehler in formalen Sprachen

Von den formalen Stufen

Aufsatz

Von den formalen Stufen

Die unglücklichen >formalen Stufen<

Aufsatz

Die unglücklichen >formalen Stufen<

Grundlagen der formalen Logik

Einführung

Grundlagen der formalen Logik

Grundriss der formalen Logik

Grundriss der formalen Logik

Grundlagen der formalen Logik

Einführung

Grundlagen der formalen Logik

Sinnwandel der formalen Bildung

Sinnwandel der formalen Bildung

Die Begriffswelt des Formalen

Die Begriffswelt des Formalen

[Fehlersuche in formalen Spezifikationen]

[Fehlersuche in formalen Spezifikationen]

Verbundene Objekte