@Article{BeckertGieseEA2004,
author = {Bernhard Beckert and Martin Giese and
Elmar Habermalz and Reiner H\"ahnle and
Andreas Roth and Philipp R\"ummer and
Steffen Schlager},
title = {Taclets: {A} New Paradigm for Constructing
Interactive Theorem Provers},
journal = {Revista de la Real Academia de Ciencias Exactas,
F\'{i}sicas y Naturales, Serie A:
Matem\'{a}ticas (RACSAM)},
volume = {98},
number = {1},
note = {Special Issue on Symbolic Computation in Logic and Artificial
Intelligence},
year = {2004}
}
Taclets: A New Paradigm for Constructing Interactive Theorem Provers
| Autor(en): | Bernhard Beckert, Martin Giese, Elmar Habermalz, Reiner Hähnle, Andreas Roth, Philipp Rümmer und Steffen Schlager |
|---|---|
| Zeitschrift: | Revista de la Real Academia de Ciencias Exactas, Físicas y Naturales, Serie A: Matemáticas (RACSAM) |
| Nummer: | 1 |
| Band: | 98 |
| Jahr: | 2004 |
Anmerkung
Special Issue on Symbolic Computation in Logic and Artificial Intelligence