Revista de la Real Academia de Ciencias Exactas, Físicas y Naturales. Matemáticas, Tome 98 (2004) no. 1
Citer cet article
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/
@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},
year = {2004},
volume = {98},
number = {1},
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
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
%U http://geodesic.mathdoc.fr/item/RACSAM_2004_2004_1_a1/
%G en
%F RACSAM_2004_2004_1_a1
