La formalización proposicional asistida por ordenador
- Armenteros, Enrique
- Gómez Bujedo, Jesús
ISSN: 0214-7300
Year of publication: 1996
Volume: 17
Issue: 35
Pages: 273-280
Type: Article
ISSN: 0214-7300
Year of publication: 1996
Volume: 17
Issue: 35
Pages: 273-280
Type: Article