Complexitat Computacional Enllaç al cercabib Complexitat Computacional Ensenyament Lògica Pura i Aplicada Codi de l'assignatura 569077
Demostració Automàtica de Teoremes Enllaç al cercabib Demostració Automàtica de Teoremes Ensenyament Lògica Pura i Aplicada Codi de l'assignatura 575367
Teoria de la Demostració Enllaç al cercabib Teoria de la Demostració Ensenyament Lògica Pura i Aplicada Codi de l'assignatura 575366