Eintrag weiter verarbeiten
Logic Programming and Nonmonotonic Reasoning: Default consequence relations as a logical framework for logic programs
Gespeichert in: