La formalización proposicional asistida por ordenador
- Armenteros, Enrique
- Gómez Bujedo, Jesús
ISSN: 0214-7300
Argitalpen urtea: 1996
Alea: 17
Zenbakia: 35
Orrialdeak: 273-280
Mota: Artikulua
ISSN: 0214-7300
Argitalpen urtea: 1996
Alea: 17
Zenbakia: 35
Orrialdeak: 273-280
Mota: Artikulua