Data structures and algorithms for automated deduction with equality

Tesis doctoral de José Miguel Rivero Almeida   Datos académicos de la tesis doctoral «Data structures and algorithms for automated […]

, , , , ,