Title: Programas para deducción automatizada en lógica proposicional
First published: 1992
Subjects: Computer programming
LC classification: QA76.6 .F737 1992