Bry, François; Manthey, Rainer und Martens, Bernd
(1991):
Integrity Verification in Knowledge Bases.
2nd Russian Conference on Logic Programming (RCLP), St. Petersburg, 11.09.-16.09.1991.
Voronkov, Andrej (Hrsg.):
In: Logic programming,
S. 114-139
[PDF, 3MB]
Vorschau
Download (3MB)
| Dokumententyp: | Konferenzbeitrag (Anderer) |
|---|---|
| Fakultät: | Mathematik, Informatik und Statistik > Informatik |
| Themengebiete: | 500 Naturwissenschaften und Mathematik > 510 Mathematik |
| URN: | urn:nbn:de:bvb:19-epub-8512-5 |
| Sprache: | Englisch |
| Dokumenten ID: | 8512 |
| Datum der Veröffentlichung auf Open Access LMU: | 17. Dez. 2008, 15:34 |
| Letzte Änderungen: | 04. Nov. 2020, 12:51 |
- Dokument bearbeiten
