Ver Fuente - Prisma - Unidad de Bibliometría

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

Tipo: Libro
ISBN: 84-86273-58-7
Total de publicaciones: 1