logic program synthesis and transformation meta programming in logic 4th international workshops lopstr 94 and meta 94 pisa italy june 20 21 1994 proceedings coles
Unfortunately, this item is no longer available, but we found some similar items you might like.