| Bry, François; Manthey, Rainer und Martens, Bernd (1991): Integrity Verification in Knowledge Bases. 2nd Russian Conference on Logic Programming (RCLP), 11.09.-16.09.1991, St. Petersburg. |
|
|
| Dokumententyp: | Konferenzbeitrag (Anderer) |
|---|---|
| Veröffentlicht in: | Voronkov, Andrej (Hrsg.). (1992): Logic programming. S. 114-139 |
| 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 |
| ID: | 8512 |
| Veröffentlicht am: | 17. Dez. 2008 15:34 |
| Letzte Änderungen: | 29. Apr. 2016 09:03 |
Nur für Administratoren und Editoren: Dokument bearbeiten
