Visualitzant Departament d'Informàtica, Matemàtica Aplicada i Estadística per matèria "Logic programming"

Fuzzy XPath for the automatic search of fuzzy formulae models

Resource Analysis driven by (Conditional) Termination Proofs