ALBERTO
RUBIO GIMENO
Catedrático de universidad
Tesi epaimahaiak (1)
-
Epaimahaiko Secretario
Data structures and algorithms for automated deduction with equality 2000Universitat Politècnica de Catalunya (UPC)
Rivero Almeida, José Miguel