Día: 5 febrero 2010

Congreso sobre interfaces para demostradores de teoremas

PorJosé A. Alonso 5 febrero 20108 marzo 2013

El próximo Workshop On User Interfaces for Theorem Provers (UITP’10) se celebrará en Edimburgo el 15 de julio.

La fecha de envío de comunicaciones finaliza el 5 de abril.

« Ene Mar »

La semana en Calculemus (25 de mayo de 2024)25 mayo 2024
La semana en Calculemus (18 de mayo de 2024)18 mayo 2024
La semana en Calculemus (11 de mayo de 2024)11 mayo 2024
La semana en Calculemus (4 de mayo de 2024)4 mayo 2024
Resumen de lecturas compartidas durante abril de 20244 mayo 2024
El mes de abril en Exercitium (Ejercicios con Haskell y Python)3 mayo 2024
La semana en Calculemus (27 de abril de 2024)27 abril 2024
La semana en Calculemus (21 de abril de 2024)21 abril 2024
El mes de marzo en Exercitium (Ejercicios con Haskell y Python)2 abril 2024
La semana en Calculemus (16 de marzo de 2024)16 marzo 2024
La semana en Calculemus (9 de marzo de 2024)9 marzo 2024
La semana en Calculemus (2 de marzo de 2024)2 marzo 2024
La semana en Calculemus (24 de febrero de 2024)24 febrero 2024
La semana en Calculemus (3 de febrero de 2024)3 febrero 2024
La semana en Calculemus (27 de enero de 2024)27 enero 2024
La semana en Calculemus (20 de enero de 2024)20 enero 2024
La semana en Calculemus (13 de enero de 2024)13 enero 2024
La semana en Calculemus (6 de enero de 2024)6 enero 2024
La semana en Calculemus (30 de diciembre de 2023)30 diciembre 2023
La semana en Calculemus (10 de diciembre de 2023)10 diciembre 2023

Buscar

Correo electrónico

Introduce tu correo electrónico para suscribirte a este blog y recibir notificaciones de nuevas entradas.

Type your email…

Buscar: