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

Aqui va el pdf

Documents amb el text complet d'aquesta tesi

Aquesta tesi apareix a les col·leccions següents