Automated deduction with constrained clauses

Tesis doctoral de Albert Rubio Gimeno Esta tesis doctoral se centra en el estudio de mecanismos para realizar deduccion automatica […]

, , , , ,