La formalización proposicional asistida por ordenador
- Armenteros, Enrique
- Gómez Bujedo, Jesús
ISSN: 0214-7300
Année de publication: 1996
Volumen: 17
Número: 35
Pages: 273-280
Type: Article
ISSN: 0214-7300
Année de publication: 1996
Volumen: 17
Número: 35
Pages: 273-280
Type: Article