Buscar
Mostrando ítems 1-2 de 2
Libro
Curso Práctico de Teoría de Conjuntos
(Ediciones La Ñ, 1998)
Todos los que hemos impartido tópicos diversos relativos a la Teoría de Conjuntos, en primer o segundo ciclo universitario, hemos echado de menos, en mayor o menor medida, un texto en el que apareciera un amplio espectro ...
Libro
Deducción automática (Vol. 1: Construcción lógica de sistemas lógicos)
(Kronos, 2002)
Este libro constituye el primer volumen de una serie sobre deducción automática. Su objetivo es la presentación de Prolog como un sistema de deducción automática y la construcción en Prolog de sistemas de deducción ...