Logic Programming and Automated Reasoning: 4th International Conference, LPAR'93
68,34 €
The research in logic programming grewout of the research in automated reasoning in the early1970s. Results from both fields applied to deductivedatabases. - Computing extensions of default logic — Preliminary report.
Jetzt bei Ebay:
