Ayuda
¿En qué podemos ayudarle?
×
Buscar en la ayuda
Buscar
¿En qué podemos ayudarle?
×
Buscar en la ayuda
Buscar
Ir al conteni
d
o
B
uscar
R
evistas
T
esis
Co
n
gresos
m
étricas
Ayuda
Cambiar idioma
Idioma
català
Deutsch
English
español
euskara
français
galego
italiano
português
română
Cambiar
Automated deduction with built-in theories. Completeness results and constraint solving tecniques
Autores:
Guillem Godoy Balil
Directores de la Tesis:
Robert Nieuwenhuis
(
dir. tes.
)
Lectura:
En la
Universitat Politècnica de Catalunya (UPC)
( España ) en 2001
Idioma:
inglés
Tribunal Calificador de la Tesis:
Fernando Orejas Valdés
(
presid.
), Albert Rubio Gimeno (
secret.
), Harald Ganzinger (
voc.
), Hubert Comon (
voc.
),
Salvador Lucas Alba
(
voc.
)
Materias:
Matemáticas
Ciencia de los ordenadores
Logicales de ordenadores
Texto completo no disponible
(Saber más ...)
Acceso de usuarios registrados
Identificarse
¿Olvidó su contraseña?
¿Es nuevo?
Regístrese
Ventajas de registrarse
Dialnet Plus
Opciones de compartir
Facebook
Twitter
Opciones de entorno
Sugerencia / Errata
©
2001-2024
Fundación Dialnet
· Todos los derechos reservados
Dialnet Plus
Accesibilidad
Aviso Legal
Coordinado por:
I
nicio
B
uscar
R
evistas
T
esis
Co
n
gresos
m
étricas
Ayuda
R
e
gistrarse