Abajo se muestran hasta 19 resultados entre el n.º 51 y el n.º 69.

Ver (50 anteriores | siguientes 50) (20 | 50 | 100 | 250 | 500).

51. (hist) ‎Relación 4 ‎[11 050 bytes]
52. (hist) ‎Rel 9 ‎[11 838 bytes]
53. (hist) ‎Relación 5 ‎[12 820 bytes]
54. (hist) ‎Rel 2 ‎[13 906 bytes]
55. (hist) ‎R2 ‎[13 910 bytes]
56. (hist) ‎Tema 16: Semántica operacional del lenguaje imperativo simple IMP. ‎[15 045 bytes]
57. (hist) ‎Documentación ‎[15 516 bytes]
58. (hist) ‎Tema 6: Deducción natural en Lógica de primer orden con Isabelle/HOL ‎[15 989 bytes]
59. (hist) ‎Tema 12: Definiciones inductivas en Isabelle/HOL. Caso de estudio: clausura reflexiva transitiva. ‎[17 688 bytes]
60. (hist) ‎Rel 1 ‎[17 713 bytes]
61. (hist) ‎R1 ‎[17 720 bytes]
62. (hist) ‎Rel 5 ‎[18 616 bytes]
63. (hist) ‎Tema 14: Razonamiento modular (II): Órdenes y retículos. ‎[20 335 bytes]
64. (hist) ‎Tema 10: Conjuntos, funciones y relaciones. ‎[21 409 bytes]
65. (hist) ‎Tema 8: Razonamiento sobre programas en Isabelle/HOL. ‎[22 549 bytes]
66. (hist) ‎Tema 3: Deducción natural en Lógica proposicional con Isabelle/HOL ‎[25 185 bytes]
67. (hist) ‎Tema 9: Razonamiento por casos e inducción. ‎[25 211 bytes]
68. (hist) ‎Relación 1 ‎[32 879 bytes]
69. (hist) ‎Relación 2 ‎[39 073 bytes]

Ver (50 anteriores | siguientes 50) (20 | 50 | 100 | 250 | 500).