DUGi

Programació (Matemàtica) Logic programming Programming (Mathematics) Programació lògica Fuzzy logic Teoremes -- Demostració automàtica Lògica difusa

Bofill Arasa, Miquel Vàzquez, Carlos Villaret i Ausellé, Mateu Albert, Elvira Rubio, Albert Luna-Tedesqui, Alejandro Almendros-Jimenez, Jesùs M.