Utilización de extensiones de lógica de primer orden para la computación de queries en problemas de redes

Gagliardi, Edilma Olinda

Utilización de extensiones de lógica de primer orden para la computación de queries en problemas de redes

DIF-M3470