Back to Results
First PageMeta Content
Logic programming / Function / Uniqueness quantification / Prolog / Mathematics / Mathematical logic / Software engineering


Partial Deduction for Structured Logic Programming Michele Bugliesi D.S. Logics s.r.l. Viale Silvani, Bologna, Italy
Add to Reading List

Document Date: 2005-06-07 07:38:43


Open Document

File Size: 233,60 KB

Share Result on Facebook
UPDATE