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

to related objects

Location
Deutsche Nationalbibliothek Frankfurt am Main
Dimensions
30 cm
Extent
95 S.
Language
Deutsch
Notes
graph. Darst.
Literaturverz. S. 93 - 95

Bibliographic citation
IWBS-Report / Institut für Wissensbasierte Systeme ; 186

Event
Veröffentlichung
(where)
[Heidelberg]
(who)
IWBS
(when)
1991
Creator
Müller, Adrian

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:31 PM CEST

Data provider

This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.

Associated

  • Müller, Adrian
  • IWBS

Time of origin

  • 1991

Other Objects (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

Syntaxfehler in formalen Sprachen

Syntaxfehler in formalen Sprachen

I. Die formalen Grundlagen.

Kapitel

I. Die formalen Grundlagen.

Die unglücklichen >formalen Stufen<

Aufsatz

Die unglücklichen >formalen Stufen<

Von den formalen Stufen

Aufsatz

Von den 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

[Fehlersuche in formalen Spezifikationen]

[Fehlersuche in formalen Spezifikationen]

Die Begriffswelt des Formalen

Die Begriffswelt des Formalen

Related objects