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. (ed.) :
In: Logic programming,
pp. 561-575
[PDF, 1MB]
Preview
Item Type: | Conference or Workshop Item (Other) |
---|---|
Faculties: | Mathematics, Computer Science and Statistics > Computer Science |
Subjects: | 500 Science > 510 Mathematics |
URN: | urn:nbn:de:bvb:19-epub-8507-7 |
Signature: | UBM:1601/SD 1990 J56 |
Language: | English |
Item ID: | 8507 |
Date Deposited: | 17. Dec 2008, 13:48 |
Last Modified: | 13. Aug 2024, 12:50 |