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

Deducción automática (Vol. 1: Construcción lógica de sistemas lógicos)

Alonso Jiménez, José Antonio; Borrego Díaz, Joaquín

Tipo: Libro
ISBN: 84-86273-58-7
Año de Publicación: 2002
No hay citas para esta publicación
No exiten datos para esta publicación