Programas para deducción automatizada en lógica proposicional
By: Antonio Frias Delgado.
Publisher: Universidad de Cádiz
Published: 1992
Place of publication: [Cádiz]
Language: spa
Number of pages: 163
Subjects: Computer programming.
Notes: Includes bibliographical references (p. 160-161) and index.