IMPORTANT: Aquest repositori està en una versió antiga des del 3/12/2023. La nova instal.lació está en https://roderic.uv.es/
Visualitza 11 - Lógica per matèria "Demostración asistida por ordenador"
-
Alcolea Banegas, Jesús (2002)
-
Alcolea Banegas, Jesús (2007)
Cerca a RODERIC
Visualitza
-
Tot RODERIC
-
Aquesta col·lecció