La formalización proposicional asistida por ordenador
- Armenteros, Enrique
- Gómez Bujedo, Jesús
ISSN: 0214-7300
Año de publicación: 1996
Volumen: 17
Número: 35
Páginas: 273-280
Tipo: Artículo
ISSN: 0214-7300
Año de publicación: 1996
Volumen: 17
Número: 35
Páginas: 273-280
Tipo: Artículo