Juan José
Quintela Carreira
Profesor Asociado
José Santiago
Jorge Castro
Profesor Permanente Laboral
Publicacións nas que colabora con José Santiago Jorge Castro (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)