Extensions of Logic Programming: 4th International Workshop, ELP ’93, St Andrews
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.
Extensions of Logic Programming: 4th International Workshop, ELP ’93, St Andrews
New Trade paperback
Extensions of Logic Programming: 4th International Workshop, ELP ’93, St And…
Proceedings (Lecture Notes in Computer Science, 798)’. Condition Notes: A copy that has been read, remains in good condition. All pages are intact, and the cover is intact. The spine and cover show signs of wear.