Ver Publicación - Prisma - Unidad de Bibliometría

Razonamiento automático en lógica de primer orden

Francisco Javier Herrera Govantes; José Antonio Alonso Jiménez; Delia Balbontín Noval; Juan José Arrabal Parrilla

Fuente Nº Citas Fecha Actualización
dialnet014-05-2024
No exiten datos para esta publicación