![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)
| Document Date: 2005-06-07 07:38:43 Open Document File Size: 233,60 KBShare Result on Facebook
City Bologna / perm / / Company Evolving Systems / / IndustryTerm conservative systems / block-based systems / preliminary search / Inheritance-based systems / configured systems / partial search tree / / Person Michele Bugliesi / Evelina Lamma Paola Mello / / Position switch operator / / ProgrammingLanguage Prolog / / Technology artificial intelligence / /
SocialTag |