Sökning: "Tabulated resolution"
Hittade 2 avhandlingar innehållade orden Tabulated resolution.
1. Tabulated Resolution for the Well-founded Semantics
Sammanfattning : .... LÄS MER
2. Tabulation-based Logic Programming : A Multi-level View of Query Answering
Sammanfattning : .... LÄS MER
Resultatsidor:
1