Seminario Mirian Andrés

Sitio web del Seminario Mirian Andrés del Departamento de Matemáticas y Computación de la Universidad de La Rioja

Saltar a contenido

César

Hay un post etiquetado con César.

Coq in action

Ponente: César Domínguez (Universidad de La Rioja)

Lugar: Seminario Chicho (Aula 314, Edificio Vives)

Hora: viernes 21 de noviembre, 13:00

en Charla | noviembre 21, 2008 | 21 Palabras

Buscar

Mapa del sitio

Acerca de
Data Provenance Staff Week
Experiencias de uso de Sistemas de Información Geográfica
II Experiencias de uso de Sistemas de Información Geográfica
Linear Algebra in Isabelle/HOL
Soluciones .NET para el desarrollo de software en producción
UR Computer Vision and Machine Learning week
UR Image Processing week

Entradas recientes

Una perspectiva de las técnicas de entrenamiento de los LLMs: el caso de RigoChat
Aplicación práctica de la Inteligencia Artificial en el e-learning
Gestión Descentralizada de la Identidad para Internet of Things: lecciones aprendidas
Aplicación de Lean al proceso de evaluación final de asignaturas del Grado en Ingeniería Informática de la UR
Asistentes conversacionales para el acceso a documentación en entorno empresarial

Categorías

Charla
Jornada
Reunión
Taller

Archivos

Esta página es mantenida por Jesús Aransay y ha sido elaborada con el tema Independent Publisher de wordpress