["Te",["Tema 10: Conjuntos definidos inductivamente","Tema 11: Gram\u00e1ticas libre de contexto","Tema 12a: Razonamiento modular (Teor\u00eda de grupos)","Tema 12b: Razonamiento modular","Tema 12c: Automatizaci\u00f3n","Tema 12d: Pasos elementales","Tema 12e: Sudoku","Tema 1: Programaci\u00f3n funcional en Isabelle","Tema 2b: Razonamiento autom\u00e1tico sobre programas en Isabelle/HOL","Tema 3: Razonamiento estructurado sobre programas en Isabelle/HOL"],["","","","","","","","","",""],["https://www.glc.us.es/~jalonso/RA2014/index.php/Tema_10:_Conjuntos_definidos_inductivamente","https://www.glc.us.es/~jalonso/RA2014/index.php/Tema_11:_Gram%C3%A1ticas_libre_de_contexto","https://www.glc.us.es/~jalonso/RA2014/index.php/Tema_12a:_Razonamiento_modular_(Teor%C3%ADa_de_grupos)","https://www.glc.us.es/~jalonso/RA2014/index.php/Tema_12b:_Razonamiento_modular","https://www.glc.us.es/~jalonso/RA2014/index.php/Tema_12c:_Automatizaci%C3%B3n","https://www.glc.us.es/~jalonso/RA2014/index.php/Tema_12d:_Pasos_elementales","https://www.glc.us.es/~jalonso/RA2014/index.php/Tema_12e:_Sudoku","https://www.glc.us.es/~jalonso/RA2014/index.php/Tema_1:_Programaci%C3%B3n_funcional_en_Isabelle","https://www.glc.us.es/~jalonso/RA2014/index.php/Tema_2b:_Razonamiento_autom%C3%A1tico_sobre_programas_en_Isabelle/HOL","https://www.glc.us.es/~jalonso/RA2014/index.php/Tema_3:_Razonamiento_estructurado_sobre_programas_en_Isabelle/HOL"]]