Tesis doctorales de Gilberto Pérez Vega

Bases de gÁ¶bner: desarrollo formal en coq

Tesis doctoral de Gilberto Pérez Vega En primer lugar, se aborda, de forma ajustada a lo que se va a […]

Barja Pérez José Mª, felipe Gago couso, Freire Nistal José Luis, Gilberto Pérez Vega, Inmaculada Perez De Guzman Molina, Manuel Ojeda Aciego

Gestionar el Consentimiento de las Cookies

El sitio web utiliza cookies propias y de terceros para ofrecerle publicidad personalizada y recopilar información estadística que ayuda a optimizar su visita. Puede permitir o rechazar su uso y cambiar su configuración desde la página de política de cookies. Encontrará más información en nuestra

Funcional Funcional Siempre activo

The technical storage or access is strictly necessary for the legitimate purpose of enabling the use of a specific service explicitly requested by the subscriber or user, or for the sole purpose of carrying out the transmission of a communication over an electronic communications network.

Preferencias Preferencias

The technical storage or access is necessary for the legitimate purpose of storing preferences that are not requested by the subscriber or user.

Estadísticas Estadísticas

The technical storage or access that is used exclusively for statistical purposes. The technical storage or access that is used exclusively for anonymous statistical purposes. Without a subpoena, voluntary compliance on the part of your Internet Service Provider, or additional records from a third party, information stored or retrieved for this purpose alone cannot usually be used to identify you.

Marketing Marketing

The technical storage or access is required to create user profiles to send advertising, or to track the user on a website or across several websites for similar marketing purposes.

Administrar opciones Gestionar los servicios Gestionar {vendor_count} proveedores Leer más sobre estos propósitos

Preferencias

{title} {title} {title}

Scroll al inicio