idUS - Filtrado por: Materia

Depósito de Investigación
Universidad de Sevilla

Esta colección

| | |

BUS

|

Acceder | Contacto | Ayuda | Biblioteca US

BUS

|

Esta colección

JavaScript is disabled for your browser. Some features of this site may not work without it.

Todo idUS Comunidades y colecciones Fecha de publicación Autores Títulos Materias Agencias financiadoras Premiados Perfiles de autor US Esta colección Fecha de publicación Autores Títulos Materias Agencias financiadoras Premiados

Mi cuenta Acceder Registro Deposite su trabajo Alta para depositar en idUS Solicitar el depósito a la Biblioteca Más información

Políticas Declaración Institucional Declaración de Berlín Política de idUS

Google Académico

DART-Europe E-theses Portal

Filtrado por: Materia

idUS
Investigación
Ingeniería y Arquitectura
Ciencias de la Computación e Inteligencia Artificial
Artículos (Ciencias de la Computación e Inteligencia Artificial)
Filtrado por: Materia

idUS
Investigación
Ingeniería y Arquitectura
Ciencias de la Computación e Inteligencia Artificial
Artículos (Ciencias de la Computación e Inteligencia Artificial)
Filtrado por: Materia

Filtrado por: Materia

Resultados por página:

xmlui.dri2xhtml.structural.pagination-info.nototal

5
10
20
40
60
80
100

ACL2 (1)
Formal verification (1)
Rewriting (1)
Theorem proving (1)

Sobre idUS
Depositar un documento
Servicios
Licencia de Distribución
FAQS
idUS en cifras

idUS es una implementación de DSpace y está gestionado por la Biblioteca de la Universidad de Sevilla.
Última actualización: 20 de febrero de 2024.

Contacto | Ayuda

Los metadatos de idUS están sujetos a Licencias Creative Commons 4.0 Internacional.

Copyright © 2015. idUS. Depósito de Investigación de la Universidad de Sevilla.

Utilizamos cookies

Este sitio web utiliza cookies propias y de terceros para mantener la sesión, ofrecerle una mejor experiencia de usuario y obtener datos estadísticos de navegación de los usuarios. Para más información vea la Política de cookies.