SUSANA
NIEVA SOTO
Profesora titular de universidad
PEDRO JESÚS
MARTÍN DE LA CALLE
Profesor titular de universidad
PEDRO JESÚS MARTÍN DE LA CALLE-rekin lankidetzan egindako argitalpenak (1)
1996
-
Reasoning with preorders and dynamic sorts using free variable tableaux
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)