Geodesic
Inducción y procedimientos de decisión.
Revista de la Real Academia de Ciencias Exactas, Físicas y Naturales. Matemáticas, Tome 98 (2004) no. 1 
Kapur, Deepak; Giesl, Jürgen; Subramaniam, Mahadevan. Inducción y procedimientos de decisión.. Revista de la Real Academia de Ciencias Exactas, Físicas y Naturales. Matemáticas, Tome 98 (2004) no. 1. http://geodesic.mathdoc.fr/item/RACSAM_2004_2004_1_a9/
@article{RACSAM_2004_2004_1_a9,
     author = {Kapur, Deepak and Giesl, J\"urgen and Subramaniam, Mahadevan},
     title = {Inducci\'on y procedimientos de decisi\'on.},
     journal = {Revista de la Real Academia de Ciencias Exactas, F{\'\i}sicas y Naturales. Matem\'aticas},
     pages = {153-180},
     year = {2004},
     volume = {98},
     number = {1},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/RACSAM_2004_2004_1_a9/}
}
TY  - JOUR
AU  - Kapur, Deepak
AU  - Giesl, Jürgen
AU  - Subramaniam, Mahadevan
TI  - Inducción y procedimientos de decisión.
JO  - Revista de la Real Academia de Ciencias Exactas, Físicas y Naturales. Matemáticas
PY  - 2004
SP  - 153
EP  - 180
VL  - 98
IS  - 1
UR  - http://geodesic.mathdoc.fr/item/RACSAM_2004_2004_1_a9/
LA  - en
ID  - RACSAM_2004_2004_1_a9
ER  - 
%0 Journal Article
%A Kapur, Deepak
%A Giesl, Jürgen
%A Subramaniam, Mahadevan
%T Inducción y procedimientos de decisión.
%J Revista de la Real Academia de Ciencias Exactas, Físicas y Naturales. Matemáticas
%D 2004
%P 153-180
%V 98
%N 1
%U http://geodesic.mathdoc.fr/item/RACSAM_2004_2004_1_a9/
%G en
%F RACSAM_2004_2004_1_a9

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