![Logic programming / Function / Uniqueness quantification / Prolog / Mathematics / Mathematical logic / Software engineering Logic programming / Function / Uniqueness quantification / Prolog / Mathematics / Mathematical logic / Software engineering](https://www.pdfsearch.io/img/47658967648bbf01e63486beb78114e3.jpg) Date: 2005-06-07 07:38:43Logic 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, ItalyAdd to Reading ListSource URL: www.dsi.unive.itDownload Document from Source Website File Size: 233,60 KBShare Document on Facebook
|