Tesis doctoral de Barja Pérez José Mª

Información academica Barja Pérez José Mª. Tesis donde Barja Pérez José Mª ha sido autor, director o parte del tribunal.

New compression codes for text databases

Tesis doctoral de Antonio Fariña Martinez Las bases de datos textuales están creciendo en los últimos años debido a la […]

Antonio Fariña Martinez, Barja Pérez José Mª, Isidro Ramos Salavert, josep Díaz cort, nieves Rodriguez brisaboa, nivio Ziviani

Bases de gÁ¶bner: desarrollo formal en coq

Tesis doctoral de Gilberto Pérez Vega En primer lugar, se aborda, de forma ajustada a lo que se va a

Barja Pérez José Mª, felipe Gago couso, Freire Nistal José Luis, Gilberto Pérez Vega, Inmaculada Perez De Guzman Molina, Manuel Ojeda Aciego