Pages that link to "Item:Q3648356"
From MaRDI portal
The following pages link to The CIFF proof procedure for abductive logic programming with constraints: Theory, implementation and experiments (Q3648356):
Displaying 1 item.
The following pages link to The CIFF proof procedure for abductive logic programming with constraints: Theory, implementation and experiments (Q3648356):
Displaying 1 item.