Logic and data bases : [... based on the proceedings of the Symposium on Logic and Data Bases held at the Centre d'Etudes et de Recherches de L'Ecole Nationale Supérieure de L'Aéronautique et de L'Espace de Toulouse (C.E.R.T.), Toulouse, France, November 16 - 18, 1977]
Year of publication: |
1978 ; 1. print.
|
---|---|
Other Persons: | Gallaire, Hervé (contributor) |
Institutions: | Symposium on Logic and Data-Bases <1977, Toulouse> (contributor) |
Publisher: |
New York [u.a.] : Plenum Pr. |
Subject: | Datenbank | Mathematische Logik | Logik | Kongress | Toulouse <1977> | Informationssystem |
-
Eine Methode zur Aktualisierung aussagenlogischer Wissensbasen
Weber, Andreas A., (1987)
-
Baborski, Andrzej J., (2001)
-
Lettmann, Theodor, (1987)
- More ...
-
Gallaire, Hervé, (1998)
-
"Schneller, vernetzt, intelligenter"
Gallaire, Hervé, (1998)
- More ...