Buscar
Mostrando ítems 11-20 de 21
Libro
Libro
Libro
Libro
Seventeenth Brainstorming Week on Membrane Computing Sevilla, February 5 - 8, 2019 : RGNC REPORT 1/2019
(Escuela Técnica Superior de Ingeniería Informática, Universidad de Sevilla, 2019)
Libro
Información : tratamiento y representación
(Universidad de Sevilla, 2001)
Libro
Libro
Libro
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 ...