| Bry, François (1990): Intensional Updates. Abduction via Deduction. 7th International Conference on Logic Programming (ICLP), 18.06.-20.06.1990, Jerusalem. |
|
1MB |
| Dokumententyp: | Konferenzbeitrag (Anderer) |
|---|---|
| Veröffentlicht in: | Warren, David H. (Hrsg.). (1990): Logic programming. S. 561-575 |
| Fakultät: | Mathematik, Informatik und Statistik > Informatik |
| Themengebiete: | 500 Naturwissenschaften und Mathematik > 510 Mathematik |
| URN: | urn:nbn:de:bvb:19-epub-8507-7 |
| Signatur: | UBM:1601/SD 1990 J56 |
| ID: | 8507 |
| Veröffentlicht am: | 17. Dez. 2008 13:48 |
| Letzte Änderungen: | 29. Apr. 2016 09:03 |
Nur für Administratoren und Editoren: Dokument bearbeiten
