Ejercicio de simbolización e inferencia en Lógica de predicados

Divulgación de las actividades científicas, tecnológicas y artísticas ocurridas en los tres campus de la UPV