analysis verification and transformation for declarative programming intelligent systems essays dedicated to manuel hermenegildo on the occasion of his 60th birthday coles
Unfortunately, this item is no longer available, but we found some similar items you might like.