Programas para deducción automatizada en lógica preposicional
Editorial: Cádiz : Universidad, Servicio de Publicaciones, 1992
ISBN: 84-7786-082-3
Año de publicación: 1992
Tipo: Libro
Editorial: Cádiz : Universidad, Servicio de Publicaciones, 1992
ISBN: 84-7786-082-3
Año de publicación: 1992
Tipo: Libro