When you click on links to various merchants on this site and make a purchase, this can result in this site earning a commission. Affiliate programs and affiliations include, but are not limited to, the eBay Partner Network.
Standard ML of New Jersey. - Adding equations to NU-Prolog. - Extraction of functional from logic program. - The MAS specification component. - Logic-based specification of visibility rules. - Optimal instruction scheduling using constraint logic programming.
When you click on links to various merchants on this site and make a purchase, this can result in this site earning a commission. Affiliate programs and affiliations include, but are not limited to, the eBay Partner Network.