Parallel logic programming for numeric applications

• Authors:

• Ralph Butler;Ewing Lusk;William McCune;Ross Overbeek

• Affiliations:

• -;-;-;-

• Venue:
• Proceedings on Third international conference on logic programming
• Year:
• 1986