La formalización proposicional asistida por ordenador
- Armenteros, Enrique
- Gómez Bujedo, Jesús
ISSN: 0214-7300
Any de publicació: 1996
Volum: 17
Número: 35
Pàgines: 273-280
Tipus: Article
ISSN: 0214-7300
Any de publicació: 1996
Volum: 17
Número: 35
Pàgines: 273-280
Tipus: Article