La formalización proposicional asistida por ordenador
- Armenteros, Enrique
- Gómez Bujedo, Jesús
ISSN: 0214-7300
Ano de publicación: 1996
Volume: 17
Número: 35
Páxinas: 273-280
Tipo: Artigo
ISSN: 0214-7300
Ano de publicación: 1996
Volume: 17
Número: 35
Páxinas: 273-280
Tipo: Artigo