La formalización proposicional asistida por ordenador
- Armenteros, Enrique
- Gómez Bujedo, Jesús
ISSN: 0214-7300
Datum der Publikation: 1996
Ausgabe: 17
Nummer: 35
Seiten: 273-280
Art: Artikel
ISSN: 0214-7300
Datum der Publikation: 1996
Ausgabe: 17
Nummer: 35
Seiten: 273-280
Art: Artikel