ANTONIO
GAVILANES FRANCO
Profesor titular de universidad
SUSANA
NIEVA SOTO
Profesora titular de universidad
Publicaciones en las que colabora con SUSANA NIEVA SOTO (2)
1996
-
Free variable tableaux for a many sorted logic with preorders
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
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)