• Shop by category
  • Powered by eBay
  • Extensions of Logic Programming: 4th International Workshop, ELP '93, St Andrews

    • Item No : 135672095637
    • Condition : Brand New
    • Brand : No brand Info
    • Seller : the_nile
    • Current Bid : US $72.23
    • * Item Description

    • 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.
    ★ Recommended Products Related To This Item
    ♥ Best Selling Products in this category