Foundations of Disjunctive Logic Programming

Foundations of Disjunctive Logic Programming
Details
- OL Work ID
- OL4123343W
Subjects
Logic programming (Computer science)Logic programmingThéorie démonstrationNégationProgrammation logiqueAdjunktionProgrammation déclarativeAdjunktion (Logik)Logique disjonctiveBase donnée déductiveProgrammation en logiqueLogische ProgrammierungComputer programs