Extensions of Logic Programming: 4th International Workshop, ELP '93, St Andrews
67,86 €
Contradiction: When avoidance equals removal Part I.- Birkhoff's HSP-theorem for cumulative logic programs. - Finite domains and exclusions as first-class citizens. - Finitary partial inductive definitions as a general logic.
Jetzt bei Ebay:
