Automated deduction with built-in theories. completeness results and constraint solving tecniques

Tesis doctoral de Guillem Godoy Balil   Datos académicos de la tesis doctoral «Automated deduction with built-in theories. completeness results […]

, , , , ,