Modelo de verificacion de bases de conocimiento

Tesis doctoral de Couto Sayalero Julia Isabel Modelizacion de problemas estructurales en bb.Ce que usen logicas de primer orden.   […]

, , , , ,