Preliminares:
Conferencia Invitada: Prof. Dr. Andrei Voronkov

Fecha

2016-09-13

Autores

Editor

Sistedes

Publicado en

Actas de las XXI Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2016)

Licencia Creative Commons

Resumen

Conferencia invitada en las XXI Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2016) por el Prof. Dr. Andrei Voronkov.

Descripción

Palabras clave

Página completa del ítem
Notificar un error en estos preliminares
Mostrar cita
Mostrar cita en BibTeX
Descargar cita en BibTeX