En octubre de 2015 el Lic. Francisco Carbonari aprobó su tesina de grado titulada: “Pruebas interesantes para una lógica multi-modal multi-agente: un caso de estudio sobre Completitud”, correspondiente a la Licenciatura en Informática de la Facultad de Informática. Este trabajo estuvo dirigido por la Dra. Clara Smith y tuvo como objetivo principal obtener pruebas de […]
