Ayuda
Ir al contenido

Dialnet


Razonamiento abductivo en modelos finitos mediante C-tablas y d-resolución


Fundación Dialnet

Dialnet Plus

  • Más información sobre Dialnet Plus

Opciones de compartir

Opciones de entorno