Extensions of Logic Programming: 5th International Workshop, ELP '96, Leipzig, G
67,86 €
Semantics of constraint logic programs with bounded quantifiers. - Translating a modal language with embedded implication into Horn clause logic. - Pruning the search space of logic programs. - A significant extension of logic programming by adapting model building rules.
Jetzt bei Ebay: