Búsqueda de Publicación - Prisma - Unidad de Bibliometría

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

Tipo Año Título Fuente
Libro2002Deducción automática (Vol. 1: Construcción lógica de sistemas lógicos)Deducción automática (Vol. 1: Construcción lógica de sistemas lógicos)