Logo
DeutschClear Cookie - decide language by browser settings
Bry, François (1990): Intensional Updates. Abduction via Deduction. 7th International Conference on Logic Programming (ICLP), 18.06.-20.06.1990, Jerusalem.
[img]
Preview

PDF

1MB