Una interpretacion algebraica de la verificacion de sistemas basados en el conocimiento

Tesis doctoral de Angelica De Antonio Jimenez El trabajo presentado se puede considerar un avance en la validacion de sistemas […]

, , , , ,