Geodesic
Demostrador de teoremas, basado en la reducción, para lógica trivaluada.
Mathware & soft computing, Tome 4 (1997) no. 2.

Voir la notice de l'article provenant de la source Proyecto DML-E: Biblioteca Digital de Matemáticas 

@article{MSC_1997_1997_1_a6,
     author = {Aguilera Venegas, Gabriel and P\'erez de Guzm\'an, Inmaculada and Ojeda Aciego, Manuel},
     title = {Demostrador de teoremas, basado en la reducci\'on, para l\'ogica trivaluada.},
     journal = {Mathware & soft computing},
     pages = {99-127},
     publisher = {mathdoc},
     volume = {4},
     number = {2},
     year = {1997},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/MSC_1997_1997_1_a6/}
}
TY  - JOUR
AU  - Aguilera Venegas, Gabriel
AU  - Pérez de Guzmán, Inmaculada
AU  - Ojeda Aciego, Manuel
TI  - Demostrador de teoremas, basado en la reducción, para lógica trivaluada.
JO  - Mathware & soft computing
PY  - 1997
SP  - 99
EP  - 127
VL  - 4
IS  - 2
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/MSC_1997_1997_1_a6/
LA  - en
ID  - MSC_1997_1997_1_a6
ER  - 
%0 Journal Article
%A Aguilera Venegas, Gabriel
%A Pérez de Guzmán, Inmaculada
%A Ojeda Aciego, Manuel
%T Demostrador de teoremas, basado en la reducción, para lógica trivaluada.
%J Mathware & soft computing
%D 1997
%P 99-127
%V 4
%N 2
%I mathdoc
%U http://geodesic.mathdoc.fr/item/MSC_1997_1997_1_a6/
%G en
%F MSC_1997_1997_1_a6
Aguilera Venegas, Gabriel; Pérez de Guzmán, Inmaculada; Ojeda Aciego, Manuel. Demostrador de teoremas, basado en la reducción, para lógica trivaluada.. Mathware & soft computing, Tome 4 (1997) no. 2. http://geodesic.mathdoc.fr/item/MSC_1997_1997_1_a6/