Juan José
Quintela Carreira
Profesor Asociado
José Luis
Freire Nistal
Publicacións nas que colabora con José Luis Freire Nistal (1)
1997
-
From sequential to distributed formal proofs
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)