Bry, François
(1990):
Intensional Updates. Abduction via Deduction.
7th International Conference on Logic Programming (ICLP), Jerusalem, 18.06.-20.06.1990.
Warren, David H. (Hrsg.):
In: Logic programming,
S. 561-575
[PDF, 1MB]
| Dokumententyp: | Konferenzbeitrag (Anderer) |
|---|---|
| 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 |
| Sprache: | Englisch |
| Dokumenten ID: | 8507 |
| Datum der Veröffentlichung auf Open Access LMU: | 17. Dez. 2008 13:48 |
| Letzte Änderungen: | 13. Aug. 2024 12:50 |
- Dokument bearbeiten
