Tesis doctorales, proyectos y otras publicaciones, una base fundamental
en la ampliación y desarrollo de los conocimientos científicos.

Documentos
disponibles
Artículos (1584)
Libros (343)
Monografías (118)
Otros (129)
Ponencias (1310)
Proyectos (559)
Tesis (9260)

Automated deduction with built-in theories: completeness results and constraint solving techniques



Título de la tesis:
Automated deduction with built-in theories: completeness results and constraint solving techniques
Autor/es:
Godoy Balil, Guillem
Tipo de documento:
Tesis (Doctoral)
Universidad:
UPC
Departamento:
723 LLENGUATGES I SISTEMES INFORMÀTICS
Idioma:
Inglés
Palabras clave:
deducció automàtica, teories predefinides
Fecha de la defensa:
11-10-2001
Notas:
Tesis dirigida por: Nieuwenhuis, Robert

Resumen: ...
Valoración:


Danos tu valoración:
1 2 3 4 5 6 7 8 9 10




Tesis y otros documentos relacionados

Añade un enlace nuestro
en tu blog, sitio web o foro



Tesis Doctorales, Proyectos de fin de carrera, Monografías, Artículos, Ponencias y otros documentos y recursos educativos.
© Tesisde.org 2010 - Terminos y Condiciones | Contáctenos

eXTReMe Tracker