ANTONIO
GAVILANES FRANCO
Profesor titular de universidad
Publicaciones en las que colabora con ANTONIO GAVILANES FRANCO (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)