Pages that link to "Item:Q2401952"
From MaRDI portal
The following pages link to Moviola: interpreting dynamic logic programs via multi-shot answer set programming (Q2401952):
Displayed 1 item.
The following pages link to Moviola: interpreting dynamic logic programs via multi-shot answer set programming (Q2401952):
Displayed 1 item.