Computación lógica, lenguajes, implementación y paralelismo (clip)

El grupo de investigación no tiene miembros.