Voir la notice de l'article provenant de la source Proyecto DML-E: Biblioteca Digital de Matemáticas
@article{RACSAM_2004_2004_1_a1,
author = {Beckert, Bernhard and Giese, Martin and Habermalz, Elmar and H\"ahnle, Reiner and Roth, Andreas and R\"ummer, Philipp and Schlager, Steffen},
title = {Taclets: un nuevo paradigma para construir demostradores autom\'aticos interactivos.},
journal = {Revista de la Real Academia de Ciencias Exactas, F{\'\i}sicas y Naturales. Matem\'aticas},
pages = {17-53},
publisher = {mathdoc},
volume = {98},
number = {1},
year = {2004},
language = {en},
url = {http://geodesic.mathdoc.fr/item/RACSAM_2004_2004_1_a1/}
}
TY - JOUR AU - Beckert, Bernhard AU - Giese, Martin AU - Habermalz, Elmar AU - Hähnle, Reiner AU - Roth, Andreas AU - Rümmer, Philipp AU - Schlager, Steffen TI - Taclets: un nuevo paradigma para construir demostradores automáticos interactivos. JO - Revista de la Real Academia de Ciencias Exactas, Físicas y Naturales. Matemáticas PY - 2004 SP - 17 EP - 53 VL - 98 IS - 1 PB - mathdoc UR - http://geodesic.mathdoc.fr/item/RACSAM_2004_2004_1_a1/ LA - en ID - RACSAM_2004_2004_1_a1 ER -
%0 Journal Article %A Beckert, Bernhard %A Giese, Martin %A Habermalz, Elmar %A Hähnle, Reiner %A Roth, Andreas %A Rümmer, Philipp %A Schlager, Steffen %T Taclets: un nuevo paradigma para construir demostradores automáticos interactivos. %J Revista de la Real Academia de Ciencias Exactas, Físicas y Naturales. Matemáticas %D 2004 %P 17-53 %V 98 %N 1 %I mathdoc %U http://geodesic.mathdoc.fr/item/RACSAM_2004_2004_1_a1/ %G en %F RACSAM_2004_2004_1_a1
Beckert, Bernhard; Giese, Martin; Habermalz, Elmar; Hähnle, Reiner; Roth, Andreas; Rümmer, Philipp; Schlager, Steffen. Taclets: un nuevo paradigma para construir demostradores automáticos interactivos.. 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_a1/