author = { Beckert, Bernhard AND Giese, Martin AND Habermalz, Elmar AND Hähnle, Reiner AND Roth, Andreas AND Rümmer, Philipp AND Schlager, Steffen },

title = { Taclets: a new paradigm for constructing interactive theorem provers },

publisher = {Springer},

isbn = {1578-7303},

keywords = { DATA processing & computer science },

year = {2005-03-21},

abstract = {Diese Datenquelle enthält auch Bestandsnachweise, die nicht zu einem Volltext führen.},

booktitle = {Revista de la Real Academia de Ciencias Exactas, Fisicas y Naturales, Serie A: Matemáticas, 98 (1), 17-53 ; ISSN: 1578-7303},

url = { http://slubdd.de/katalog?TN_libero_mab2 }