Tabulation-based Logic Programming : A Multi-level View of Query Answering

Författare: Lars Degerstedt; Teodor C. Przymusinski; Ulf Nilsson; University Of California At Riverside; []

Nyckelord: NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURVETENSKAP; NATURAL SCIENCES; Deductive databases; Partial deduction procedure; Tabulated resolution; Programmering; Databashanteringssystem Programspråk;

Sammanfattning:

Denna avhandling är EVENTUELLT nedladdningsbar som PDF. Kolla denna länk för att se om den går att ladda ner.